From 08c0e988b3b1f48c6e83c6278b9f139e8aa7c88f Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Tue, 26 May 2020 11:17:59 +0200
Subject: [PATCH] added code annotations for optionAdder script

---
 server/src/server.ts | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

diff --git a/server/src/server.ts b/server/src/server.ts
index e21538d..3e10d11 100644
--- a/server/src/server.ts
+++ b/server/src/server.ts
@@ -91,6 +91,7 @@ interface Settings {
 	strictChecks : boolean
 	wdChecks : boolean
 	performanceHints : boolean
+	//PYTHONSETTING
 	probHome : string
 }
 
@@ -100,7 +101,9 @@ const defaultSettings: Settings = {
 	probHome: "~/prob_prolog/probcli.sh",
 	strictChecks : false,
 	wdChecks : false,
-	performanceHints : false };
+	//PYTHONDEFAULT
+	performanceHints : false 
+};
 
 let globalSettings: Settings = defaultSettings;
 
@@ -185,6 +188,8 @@ function getCommand(documentPath : string, errorPath : string, settings: Setting
 	let wdCmd = ""
 	let strict = ""
 	let perf = ""
+		//PYTHONVAR
+
 	if(settings.wdChecks == true){
 		wdCmd = " -wd-check -release_java_parser "
 	}
@@ -197,7 +202,17 @@ function getCommand(documentPath : string, errorPath : string, settings: Setting
 		perf = " -p PERFORMANCE_INFO TRUE "
 	}
 
-	return settings.probHome + ' -p MAX_INITIALISATIONS 0 -version ' + perf + strict + wdCmd + documentPath +" -p " + "NDJSON_ERROR_LOG_FILE " + errorPath
+	//PYTHONIF
+	
+	return settings.probHome + ' -p MAX_INITIALISATIONS 0 -version ' 
+							 + perf 
+							 + strict 
+							 + wdCmd +
+							 /*PYTHONCMD*/
+							 + documentPath 
+							 +" -p " 
+							 + "NDJSON_ERROR_LOG_FILE " 
+							 + errorPath
 }
 
 
-- 
GitLab