diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0693c7dbc9eb1800a474bc1805e0be9b02d3a4c7..818059ee056f0a666783eaa63e1b25c18e19b6d3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -87,4 +87,8 @@
- fixed bug where problems from sub machines where shown in the main machine
- added a opical feedback when an evaluation is finished
- added .rmch file extensions (still pretty much a prototype regarding coloring)
-- added file icons to identify files which can be processed by this plugin, note that icon themes are exclusive, selecting the new theme will disable all other themes: https://github.com/microsoft/vscode/issues/14662
\ No newline at end of file
+- added file icons to identify files which can be processed by this plugin, note that icon themes are exclusive, selecting the new theme will disable all other themes: https://github.com/microsoft/vscode/issues/14662
+
+## [1.1.2]
+
+- fixed bug where for longer outputs from probcli the system would not return causing a deadlook
\ No newline at end of file
diff --git a/README.md b/README.md
index f0c1f71c124ab39ffec60181b588bc57f16124e9..1b50d7274723daa31c82b9cb9a3e87defcf86f78 100644
--- a/README.md
+++ b/README.md
@@ -40,9 +40,6 @@ The language server can be found here https://github.com/SeeBasTStick/b-language
## Release Notes
-### 1.1.1
+### 1.1.2
-- fixed bug where problems from sub machines where shown in the main machine
-- added a opical feedback when an evaluation is finished
-- added .rmch file extensions (still pretty much a prototype regarding coloring)
-- added file icons to identify files which can be processed by this plugin, note that icon themes are exclusive, selecting the new theme will disable all other themes: https://github.com/microsoft/vscode/issues/14662
\ No newline at end of file
+- fixed a bug where for longer outputs from probcli the system would not return causing a deadlook
\ No newline at end of file
diff --git a/package-lock.json b/package-lock.json
index 298a0b1af3847f8ab94b815e3687ceeb1af24d77..8a51f6c8543fa94468dbd147e96993995a654f88 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -43,6 +43,18 @@
}
}
},
+ "@eslint/eslintrc": {
+ "version": "0.1.0",
+ "resolved": "https://registry.npmjs.org/@eslint/eslintrc/-/eslintrc-0.1.0.tgz",
+ "integrity": "sha512-bfL5365QSCmH6cPeFT7Ywclj8C7LiF7sO6mUGzZhtAMV7iID1Euq6740u/SRi4C80NOnVz/CEfK8/HO+nCAPJg==",
+ "dev": true,
+ "requires": {
+ "ajv": "^6.12.4",
+ "debug": "^4.1.1",
+ "import-fresh": "^3.2.1",
+ "strip-json-comments": "^3.1.1"
+ }
+ },
"@types/color-name": {
"version": "1.1.1",
"resolved": "https://registry.npmjs.org/@types/color-name/-/color-name-1.1.1.tgz",
@@ -77,9 +89,9 @@
}
},
"@types/node": {
- "version": "14.6.0",
- "resolved": "https://registry.npmjs.org/@types/node/-/node-14.6.0.tgz",
- "integrity": "sha512-mikldZQitV94akrc4sCcSjtJfsTKt4p+e/s0AGscVA6XArQ9kFclP+ZiYUMnq987rc6QlYxXv/EivqlfSLxpKA=="
+ "version": "14.6.2",
+ "resolved": "https://registry.npmjs.org/@types/node/-/node-14.6.2.tgz",
+ "integrity": "sha512-onlIwbaeqvZyniGPfdw/TEhKIh79pz66L1q06WUQqJLnAb6wbjvOtepLYTGHTqzdXgBYIE3ZdmqHDGsRsbBz7A=="
},
"@types/stream-to-array": {
"version": "2.3.0",
@@ -238,8 +250,8 @@
"integrity": "sha1-rqdNXmHB+JlhO/ZL2mbUx48v0X0="
},
"b-language-server": {
- "version": "https://github.com/SeeBasTStick/b-language-server/archive/v1.4.0.tar.gz",
- "integrity": "sha512-QD61es8rja3ECf095/cMelg9XfZI+k/qpzb7527Q7f59UAETRpszNmuiMRe4wLqwZDPZVVZ8O9yqWNQt5plQ+A==",
+ "version": "https://github.com/SeeBasTStick/b-language-server/archive/v1.5.0.tar.gz",
+ "integrity": "sha512-xZqfo7KpWsaQlUZsHEDbzWQ2jT6RIH4pRRIpaTo7Xa8TSExA1uUPkwIKQURPCWB2rMz04FFetYcbM3NwofxcOw==",
"requires": {
"run-script-os": "^1.1.1"
}
@@ -340,9 +352,9 @@
"dev": true
},
"supports-color": {
- "version": "7.1.0",
- "resolved": "https://registry.npmjs.org/supports-color/-/supports-color-7.1.0.tgz",
- "integrity": "sha512-oRSIpR8pxT1Wr2FquTNnGet79b3BWljqOuoW/h4oBhxJ/HUbX5nX6JSruTkvXDCFMwDPvsaTTbvMLKZWSy0R5g==",
+ "version": "7.2.0",
+ "resolved": "https://registry.npmjs.org/supports-color/-/supports-color-7.2.0.tgz",
+ "integrity": "sha512-qpCAvRl9stuOHveKsn7HncJRvv501qIacKzQlO/+Lwxc9+0q2wLyv4Dfvt80/DPn2pqOBsJdDiogXGR9+OvwRw==",
"dev": true,
"requires": {
"has-flag": "^4.0.0"
@@ -587,12 +599,13 @@
"dev": true
},
"eslint": {
- "version": "7.7.0",
- "resolved": "https://registry.npmjs.org/eslint/-/eslint-7.7.0.tgz",
- "integrity": "sha512-1KUxLzos0ZVsyL81PnRN335nDtQ8/vZUD6uMtWbF+5zDtjKcsklIi78XoE0MVL93QvWTu+E5y44VyyCsOMBrIg==",
+ "version": "7.8.0",
+ "resolved": "https://registry.npmjs.org/eslint/-/eslint-7.8.0.tgz",
+ "integrity": "sha512-qgtVyLZqKd2ZXWnLQA4NtVbOyH56zivOAdBFWE54RFkSZjokzNrcP4Z0eVWsZ+84ByXv+jL9k/wE1ENYe8xRFw==",
"dev": true,
"requires": {
"@babel/code-frame": "^7.0.0",
+ "@eslint/eslintrc": "^0.1.0",
"ajv": "^6.10.0",
"chalk": "^4.0.0",
"cross-spawn": "^7.0.2",
@@ -602,7 +615,7 @@
"eslint-scope": "^5.1.0",
"eslint-utils": "^2.1.0",
"eslint-visitor-keys": "^1.3.0",
- "espree": "^7.2.0",
+ "espree": "^7.3.0",
"esquery": "^1.2.0",
"esutils": "^2.0.2",
"file-entry-cache": "^5.0.1",
@@ -1756,9 +1769,9 @@
"dev": true
},
"uri-js": {
- "version": "4.2.2",
- "resolved": "https://registry.npmjs.org/uri-js/-/uri-js-4.2.2.tgz",
- "integrity": "sha512-KY9Frmirql91X2Qgjry0Wd4Y+YTdrdZheS8TFwvkbLWf/G5KNJDCh6pKL5OZctEW4+0Baa5idK2ZQuELRwPznQ==",
+ "version": "4.4.0",
+ "resolved": "https://registry.npmjs.org/uri-js/-/uri-js-4.4.0.tgz",
+ "integrity": "sha512-B0yRTzYdUCCn9n+F4+Gh4yIDtMQcaJsmYBDsTSG8g/OejKBodLQ2IHfN3bM7jUsRXndopT7OIXWdYqc1fjmV6g==",
"dev": true,
"requires": {
"punycode": "^2.1.0"
diff --git a/package.json b/package.json
index f2db9752e25a9e01479e569154db220dcc0ab27a..9e985077707cd9cb54c0ba950217b7577002e7e7 100644
--- a/package.json
+++ b/package.json
@@ -72,14 +72,6 @@
"default": false,
"description": "Option for enabeling (extensiv) debug messages"
},
- "languageServer.maxNumberOfProblems": {
- "id": "6",
- "title": "max. number of problems",
- "scope": "application",
- "type": "number",
- "default": 100,
- "description": "Controls the maximum number of problems produced by the server."
- },
"common.javaHome": {
"id": "7",
"title": "Java Home",
@@ -154,9 +146,9 @@
},
"devDependencies": {
"@types/mocha": "^7.0.2",
- "@types/node": "^14.6.0",
+ "@types/node": "^14.6.2",
"@typescript-eslint/parser": "^2.34.0",
- "eslint": "^7.7.0",
+ "eslint": "^7.8.0",
"mocha": "^7.2.0",
"typescript": "^3.9.7"
},
@@ -164,7 +156,7 @@
"@types/ndjson": "^1.5.0",
"@types/stream-to-array": "^2.3.0",
"@types/vscode": "^1.48.0",
- "b-language-server": "https://github.com/SeeBasTStick/b-language-server/archive/v1.4.0.tar.gz",
+ "b-language-server": "https://github.com/SeeBasTStick/b-language-server/archive/v1.5.0.tar.gz",
"clean": "^4.0.2",
"error": "^10.4.0",
"fs": "0.0.1-security",