From 6fd5b9d3025a41081d8f4a3bc211145a77c67238 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sun, 10 Apr 2011 06:02:29 +0000
Subject: [PATCH] bug fix

---
 Robust/src/Runtime/garbage.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Robust/src/Runtime/garbage.c b/Robust/src/Runtime/garbage.c
index dcef65b7..1df73122 100644
--- a/Robust/src/Runtime/garbage.c
+++ b/Robust/src/Runtime/garbage.c
@@ -416,6 +416,11 @@ void collect(struct garbagelist * stackptr) {
     // update forward list & memory queue for the current SESE
     updateForwardList(&((SESEcommon*)listptr->seseCommon)->forwardList,FALSE);
     updateMemoryQueue((SESEcommon*)(listptr->seseCommon));
+#endif
+#ifdef THREADS
+    void *orig=pthread_getspecific(threadlocks);
+    ENQUEUE(orig, orig);
+    pthread_setspecific(threadlocks, orig);
 #endif
     listptr=listptr->next;
   }
-- 
2.34.1