From 15e48744910ef798b1ab24d1639030a956ae9ccd Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 15 Feb 2008 02:24:18 +0000
Subject: [PATCH] bug fix

---
 Robust/src/Runtime/DSTM/interface/trans.c | 7 +++++++
 1 file changed, 7 insertions(+)

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();
-- 
2.34.1