24.09., 9:00 - 11:00: Due to updates GitLab will be unavailable for some minutes between 09:00 and 11:00.

...
 
Commits (7)
...@@ -20,7 +20,7 @@ BEDEUTUNG proprie de loco: ...@@ -20,7 +20,7 @@ BEDEUTUNG proprie de loco:
UNTER_BEDEUTUNG conventiunculum, buleuterium -- Versammlungsort, Beratungssstätte: UNTER_BEDEUTUNG conventiunculum, buleuterium -- Versammlungsort, Beratungssstätte:
UNTER_UNTER_BEDEUTUNG in univ.: UNTER_MUNTER_BEDEUTUNG in univ.:
* HINCM. ord. pal.; 611 "seniores ... clerici ad suam, laici vero ad suam constitutam #curi.|am ... convocarentur." * HINCM. ord. pal.; 611 "seniores ... clerici ad suam, laici vero ad suam constitutam #curi.|am ... convocarentur."
......
This diff is collapsed.
...@@ -32,6 +32,8 @@ let client: LanguageClient; ...@@ -32,6 +32,8 @@ let client: LanguageClient;
function startMLWServer() { function startMLWServer() {
// see: https://github.com/palantir/python-language-server/blob/develop/vscode-client/src/extension.ts
// context.subscriptions.push(startLangServer(executable, ["-vv"], ["python"]));
// see: https://github.com/formulahendry/vscode-code-runner/blob/master/src/codeManager.ts // see: https://github.com/formulahendry/vscode-code-runner/blob/master/src/codeManager.ts
const spawn = require("child_process").spawn; const spawn = require("child_process").spawn;
let mlw_process = spawn("python MLWServer.py --startserver", [], let mlw_process = spawn("python MLWServer.py --startserver", [],
......