remove deprecated extensions earlier

This commit is contained in:
Joao Moreno
2016-08-26 15:30:59 +02:00
parent c7a1ffc68d
commit d2ba113b21

View File

@@ -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);
});
});
}