bug fix

diff --git a/Robust/src/Runtime/DSTM/interface/trans.c b/Robust/src/Runtime/DSTM/interface/trans.c
index 47d8d6ea089447e22d314ac9866368d35f5a6818..9ea79389439f5e9757b9e58ddfca868e23d7fbc8 100644 (file)
--- 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();