From: bdemsky <bdemsky>
Date: Sun, 10 Apr 2011 06:02:29 +0000 (+0000)
Subject: bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=6fd5b9d3025a41081d8f4a3bc211145a77c67238;p=IRC.git

bug fix
---

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;
   }