assigns workerID to the workerTR

[IRC.git] / Robust / src / Runtime / oooJava / rcr_runtime.c

diff --git a/Robust/src/Runtime/oooJava/rcr_runtime.c b/Robust/src/Runtime/oooJava/rcr_runtime.c
index 3887636e5b2a89291b93276bd406625e44c0d524..e144844dfb8289688218f705f2b5300511258c67 100644 (file)
--- a/Robust/src/Runtime/oooJava/rcr_runtime.c
+++ b/Robust/src/Runtime/oooJava/rcr_runtime.c
@@ -10,6 +10,7 @@
 void * workerTR(void *x) {
   struct trQueue * queue=(struct trQueue *)x;
   allHashStructures=queue->allHashStructures;
+  myWorkerID=queue->id;
 
   CP_CREATE();