From 2e959bbcddff0665d555c1128bc147dc0f89111d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 25 Oct 2010 20:54:53 +0000
Subject: [PATCH] make the traversers do something

---
 Robust/src/Runtime/oooJava/rcr_runtime.c | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/Robust/src/Runtime/oooJava/rcr_runtime.c b/Robust/src/Runtime/oooJava/rcr_runtime.c
index d5977261..cdcd1b14 100644
--- 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;
-- 
2.34.1