diff --git a/server/src/errorHandler.ts b/server/src/errorHandler.ts
index a4a357ae283095e41ef6d2097535e7363e9040b9..67d9566068d372d84273309f1de2dc8fb8095770 100644
--- a/server/src/errorHandler.ts
+++ b/server/src/errorHandler.ts
@@ -62,10 +62,8 @@ export function buildErrors(errorLines : Array<string> ): Map<string, Set<NDJSON
  */
 export function matchErrors(infos: Set<NDJSON>, file?: TextDocument | undefined): Array<Diagnostic> {
 	let result: Array<Diagnostic> = new Array()
-    console.log("infos " + infos)
 	for (var info of infos) {
 
-		console.log("type" + info.type)
 		let serveity: DiagnosticSeverity = DiagnosticSeverity.Error
 
 		if (info.type == "error") {
@@ -131,8 +129,6 @@ export interface NDJSON {
 	start: StartOrEnd
 	end: StartOrEnd
 	prob_version : string
-//	main_file : string
-//	dependencies : Array<string>
 }
 
 
diff --git a/server/src/server.ts b/server/src/server.ts
index d8494d2f6d7e9114617282ea05b42303e4ae2356..f8a5081d172c8cc6b7ec497e5b170f60002ea448 100644
--- a/server/src/server.ts
+++ b/server/src/server.ts
@@ -175,10 +175,10 @@ async function validateTextDocument(textDocument: TextDocument): Promise<void> {
 
 	let documentPath: path.ParsedPath = path.parse(URI.parse(textDocument.uri).path);
 
-	let errorDic : string = documentPath.dir + '/tmp'
-	let errorPath: string = errorDic + '/_error.json'
+	let errorDic : string = documentPath.dir + path.sep + 'tmp'
+	let errorPath: string = errorDic + path.sep + '_error.json'
+
 
-	
 	const { exec } = require('child_process');
 
 	if (!fs.existsSync(errorDic)){
@@ -206,19 +206,13 @@ async function validateTextDocument(textDocument: TextDocument): Promise<void> {
 
 				for(let dependency of allFilesAndCorrespondingErrors.keys())
 				{
-					console.log(dependency)
-					console.log(documentPath.dir+documentPath.name+documentPath.ext)
-					if(dependency == (documentPath.dir+documentPath.name+documentPath.ext)){
-						console.log("is:main")
+					if(dependency == (documentPath.dir+ path.sep + documentPath.name+documentPath.ext)){
 						let errors : Set<NDJSON> = allFilesAndCorrespondingErrors.get(dependency)!!
-						console.log("errors " + errors)
 						let diagnostics = matchErrors(errors, textDocument)
 						connection.sendDiagnostics({ uri: dependency, diagnostics });
 					}else{
-						console.log("is:dep")
 						let errors : Set<NDJSON> = allFilesAndCorrespondingErrors.get(dependency)!!
 						let diagnostics = matchErrors(errors)
-						console.log("errors " + errors)
 						connection.sendDiagnostics({ uri: dependency, diagnostics });
 					}
 				}
@@ -227,7 +221,6 @@ async function validateTextDocument(textDocument: TextDocument): Promise<void> {
 
 				for(let dependency of filesToReset)
 				{					
-					console.log("reset:errrors")
 					let diagnostics : Array<Diagnostic> = new Array()
 					connection.sendDiagnostics({ uri: dependency, diagnostics });
 				}