make the traversers do something

diff --git a/Robust/src/Runtime/oooJava/rcr_runtime.c b/Robust/src/Runtime/oooJava/rcr_runtime.c
index d597726105fc99e3ae7e0f49e7e2db7af953058a..cdcd1b14769e0425719d41c618683bb0cffbfbb5 100644 (file)
--- a/Robust/src/Runtime/oooJava/rcr_runtime.c
+++ b/Robust/src/Runtime/oooJava/rcr_runtime.c
@@ -1,7 +1,8 @@
 #include "trqueue.h"
 #include "mlp_runtime.h"
 #include "rcr_runtime.h"
-
+#include "structdefs.h"
+#include "RuntimeConflictResolver.h"
 
 void * workerTR(void *x) {
   struct trQueue * queue=(struct trQueue *)x;
@@ -9,9 +10,11 @@ void * workerTR(void *x) {
     SESEcommon * tmp;
     do {
       tmp=(SESEcommon *) dequeueTR(queue);
-      if (tmp!=NULL)
-       break;
-      sched_yield();
+      if (tmp!=NULL) {
+       tasktraverse(tmp);
+      } else {
+       sched_yield();
+      }
     } while(1);
   }
   return NULL;