increasing Timeout & fixing inverted check

84e0ca4d · Timon Stampfli · 66e33403 · 84e0ca4d
Commit 84e0ca4d authored Nov 05, 2020 by Timon Stampfli
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/runner.ts src/runner.ts +2 -2

No files found.
--- a/src/runner.ts
+++ b/src/runner.ts
@@ -59,8 +59,8 @@ export class Runner {
 			let finishedTimeout: vscode.Disposable[] = [];

 			let timer: Timer | undefined;
-			if (this.store.disableCompilerTimeout) {
-				timer = new Timer(10000);
+			if (this.store.disableCompilerTimeout === false) {
+				timer = new Timer(20000);
 				finished.push(timer);
 			}
 			const cleanup = (abort?: boolean) => {