From 63a4dedf56ccfd60be5905d0b3346bf80135d9bb Mon Sep 17 00:00:00 2001
From: Nicolas Klose <nicolas.klose@inf.ethz.ch>
Date: Wed, 24 Jan 2024 17:04:01 +0100
Subject: [PATCH] added a comment

---
 client/src/test/1_ide.test.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/src/test/1_ide.test.ts b/client/src/test/1_ide.test.ts
index 1c06f56c..0f3bcf4c 100644
--- a/client/src/test/1_ide.test.ts
+++ b/client/src/test/1_ide.test.ts
@@ -31,7 +31,7 @@ suite('ViperIDE Tests', () => {
         }, 300);
 
         await TestHelper.waitForVerificationOrAbort();
-        await TestHelper.wait(20000);
+        await TestHelper.wait(20000); // This is really stupid, but Windows fails to clean up processes quickly in this case for some reason
         await TestHelper.checkForRunningProcesses(false, true, true);
         await TestHelper.openAndVerify(LONG);
         assert (!TestHelper.hasObservedInternalError());