From cf951043ef7d1d01f594155c187b54007a6b3166 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Fri, 18 Jan 2019 00:54:43 +0100
Subject: [PATCH] 	modified:  
 src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java

---
 .../de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java   | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 5c52c237..a23ff422 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -143,7 +143,9 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 		rules = new RuleSet(logFile);
 		this.rekTiefeField = rekTiefe;
 		synchronized (this) { noOfThread++; }
+		writeLog("thNo1 " + thNo);
 		thNo = noOfThread;
+		writeLog("thNo2 " + thNo);
 	}
 	
 	/**
@@ -2053,6 +2055,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 	}
 	
 	void writeLog(String str) {
+		synchronized ( this ) { 
 		if (log) {
 			try {
 				logFile.write("Thread no.:" + thNo + "\n");
@@ -2066,5 +2069,6 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 				System.err.println("kein LogFile");
 			}
 			}
+		}
 	}
 }