From 56dd8943ce8baeebd87c519feefea451d7d215d9 Mon Sep 17 00:00:00 2001 From: Johannes Rieken Date: Mon, 24 Sep 2018 13:59:27 +0200 Subject: [PATCH] fix #59216 --- src/vs/code/node/cli.ts | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/vs/code/node/cli.ts b/src/vs/code/node/cli.ts index 6365509bab4..dee4d27480a 100644 --- a/src/vs/code/node/cli.ts +++ b/src/vs/code/node/cli.ts @@ -308,9 +308,9 @@ export async function main(argv: string[]): Promise { try { // load and start profiler - const main = await Profiler.start('main', filenamePrefix, { port: portMain }); - const extHost = await Profiler.start('extHost', filenamePrefix, { port: portExthost, tries: 300 }); - const renderer = await Profiler.start('renderer', filenamePrefix, { + const mainProfileRequest = Profiler.start('main', filenamePrefix, { port: portMain }); + const extHostProfileRequest = Profiler.start('extHost', filenamePrefix, { port: portExthost, tries: 300 }); + const rendererProfileRequest = Profiler.start('renderer', filenamePrefix, { port: portRenderer, tries: 200, chooseTab: function (targets) { @@ -327,6 +327,10 @@ export async function main(argv: string[]): Promise { } }); + const main = await mainProfileRequest; + const extHost = await extHostProfileRequest; + const renderer = await rendererProfileRequest; + // wait for the renderer to delete the // marker file await whenDeleted(filenamePrefix); -- GitLab