From 84e0ca4da45d7e0fc8f154eda828094340619056 Mon Sep 17 00:00:00 2001
From: Timon Stampfli <timon@timon.ch>
Date: Thu, 5 Nov 2020 20:38:17 +0100
Subject: [PATCH] increasing Timeout & fixing inverted check

---
 src/runner.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/runner.ts b/src/runner.ts
index c530119..112c61c 100644
--- 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) => {
-- 
GitLab