From fbd01d0b3229a2118cf68dc6d0cda77f35bb0bfe Mon Sep 17 00:00:00 2001
From: Nicolas Klose <nicolas.klose@inf.ethz.ch>
Date: Wed, 24 Jan 2024 16:06:16 +0100
Subject: [PATCH] update and delay

---
 client/package-lock.json      | 18 +++++++++---------
 client/package.json           |  2 +-
 client/src/test/1_ide.test.ts |  1 +
 3 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/client/package-lock.json b/client/package-lock.json
index 223ed417..23020473 100644
--- a/client/package-lock.json
+++ b/client/package-lock.json
@@ -1,12 +1,12 @@
 {
 	"name": "viper",
-	"version": "4.1.1",
+	"version": "4.2.2",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "viper",
-			"version": "4.1.1",
+			"version": "4.2.2",
 			"license": "SEE LICENSE IN LICENSE.txt",
 			"devDependencies": {
 				"@types/glob": "^8.1.0",
@@ -877,15 +877,15 @@
 			}
 		},
 		"node_modules/@vscode/test-electron": {
-			"version": "2.3.0",
-			"resolved": "https://registry.npmjs.org/@vscode/test-electron/-/test-electron-2.3.0.tgz",
-			"integrity": "sha512-fwzA9RtazH1GT/sckYlbxu6t5e4VaMXwCVtyLv4UAG0hP6NTfnMaaG25XCfWqlVwFhBMcQXHBCy5dmz2eLUnkw==",
+			"version": "2.3.8",
+			"resolved": "https://registry.npmjs.org/@vscode/test-electron/-/test-electron-2.3.8.tgz",
+			"integrity": "sha512-b4aZZsBKtMGdDljAsOPObnAi7+VWIaYl3ylCz1jTs+oV6BZ4TNHcVNC3xUn0azPeszBmwSBDQYfFESIaUQnrOg==",
 			"dev": true,
 			"dependencies": {
 				"http-proxy-agent": "^4.0.1",
 				"https-proxy-agent": "^5.0.0",
 				"jszip": "^3.10.1",
-				"semver": "^7.3.8"
+				"semver": "^7.5.2"
 			},
 			"engines": {
 				"node": ">=16"
@@ -5429,9 +5429,9 @@
 			"dev": true
 		},
 		"node_modules/semver": {
-			"version": "7.3.8",
-			"resolved": "https://registry.npmjs.org/semver/-/semver-7.3.8.tgz",
-			"integrity": "sha512-NB1ctGL5rlHrPJtFDVIVzTyQylMLu9N9VICA6HSFJo8MCGVTMW6gfpicwKmmK/dAjTOrqu5l63JJOpDSrAis3A==",
+			"version": "7.5.4",
+			"resolved": "https://registry.npmjs.org/semver/-/semver-7.5.4.tgz",
+			"integrity": "sha512-1bCSESV6Pv+i21Hvpxp3Dx+pSD8lIPt8uVjRrxAUt/nbswYc+tK6Y2btiULjd4+fnq15PX+nqQDC7Oft7WkwcA==",
 			"dev": true,
 			"dependencies": {
 				"lru-cache": "^6.0.0"
diff --git a/client/package.json b/client/package.json
index f8d349ee..8bfdfffa 100644
--- a/client/package.json
+++ b/client/package.json
@@ -44,7 +44,7 @@
 		"@typescript-eslint/eslint-plugin": "^5.54.0",
 		"@typescript-eslint/parser": "^5.54.0",
 		"@viperproject/locate-java-home": "^1.1.11",
-		"@vscode/test-electron": "^2.3.0",
+		"@vscode/test-electron": "^2.3.8",
 		"@vscode/vsce": "^2.18.0",
 		"eslint": "^8.35.0",
 		"eslint-webpack-plugin": "^4.0.0",
diff --git a/client/src/test/1_ide.test.ts b/client/src/test/1_ide.test.ts
index 820ba272..b6727cd1 100644
--- a/client/src/test/1_ide.test.ts
+++ b/client/src/test/1_ide.test.ts
@@ -31,6 +31,7 @@ suite('ViperIDE Tests', () => {
         }, 300);
 
         await TestHelper.waitForVerificationOrAbort();
+        await TestHelper.wait(500);
         await TestHelper.checkForRunningProcesses(false, true, true);
         await TestHelper.openAndVerify(LONG);
         assert (!TestHelper.hasObservedInternalError());