From d2ba113b210e10b346bc089dae6f98c7c51e5409 Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Fri, 26 Aug 2016 15:30:59 +0200 Subject: [PATCH] remove deprecated extensions earlier --- src/vs/code/node/sharedProcessMain.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/code/node/sharedProcessMain.ts b/src/vs/code/node/sharedProcessMain.ts index 9f4069163ea..a547ff62a10 100644 --- a/src/vs/code/node/sharedProcessMain.ts +++ b/src/vs/code/node/sharedProcessMain.ts @@ -108,7 +108,7 @@ function main(server: Server): void { server.registerChannel('extensions', channel); // eventually clean up old extensions - setTimeout(() => (extensionManagementService as ExtensionManagementService).removeDeprecatedExtensions(), 5000); + setTimeout(() => (extensionManagementService as ExtensionManagementService).removeDeprecatedExtensions(), 100); }); }); }