From: bdemsky <bdemsky>
Date: Fri, 15 Feb 2008 02:24:18 +0000 (+0000)
Subject: bug fix
X-Git-Tag: preEdgeChange~276
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=15e48744910ef798b1ab24d1639030a956ae9ccd;p=IRC.git

bug fix
---

diff --git a/Robust/src/Runtime/DSTM/interface/trans.c b/Robust/src/Runtime/DSTM/interface/trans.c
index 47d8d6ea..9ea79389 100644
--- a/Robust/src/Runtime/DSTM/interface/trans.c
+++ b/Robust/src/Runtime/DSTM/interface/trans.c
@@ -18,6 +18,9 @@
 #include <errno.h>
 #include <time.h>
 #include <string.h>
+#ifdef COMPILER
+#include "thread.h"
+#endif
 
 #define LISTEN_PORT 2156
 #define RECEIVE_BUFFER_SIZE 2048
@@ -125,6 +128,10 @@ int dstmStartup(const char * option) {
 
 	if (processConfigFile() != 0)
 		return 0; //TODO: return error value, cause main program to exit
+#ifdef COMPILER
+	if (!master)
+	  threadcount--;
+#endif
 
 	dstmInit();
 	transInit();