tweak timings

jrieken · jrieken · commit 91298fd627fb · 2019-01-17T17:43:31.000-08:00
diff --git a/src/vs/loader.js b/src/vs/loader.js
@@ -880,7 +880,7 @@ var AMDLoader;
                             detail: err
                         });
                     });
-                }, moduleManager.getConfig().getOptionsLiteral().nodeCachedData.writeDelay * 2);
+                }, moduleManager.getConfig().getOptionsLiteral().nodeCachedData.writeDelay);
             }
         };
         NodeScriptLoader._runSoon = function (callback, minTimeout) {

Original file line number	Diff line number	Diff line change
`@@ -880,7 +880,7 @@ var AMDLoader;`
`880`	`880`	`detail: err`
`881`	`881`	`});`
`882`	`882`	`});`
`883`		`- }, moduleManager.getConfig().getOptionsLiteral().nodeCachedData.writeDelay * 2);`
	`883`	`+ }, moduleManager.getConfig().getOptionsLiteral().nodeCachedData.writeDelay);`
`884`	`884`	`}`
`885`	`885`	`};`
`886`	`886`	`NodeScriptLoader._runSoon = function (callback, minTimeout) {`