From: bdemsky <bdemsky>
Date: Tue, 21 Apr 2009 00:05:58 +0000 (+0000)
Subject: barrier bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c5a184725a378104f51d98add293ceb702bb42fe;p=IRC.git

barrier bug
---

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 057ccb82..dfd8cf89 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -206,7 +206,7 @@ void CALL00(___Barrier______enterBarrier____) {
   // Synchronization point
   int ret;
   ret = pthread_barrier_wait(&barrier);
-  if(ret != 0) {
+  if(ret != 0 && ret != PTHREAD_BARRIER_SERIAL_THREAD) {
     printf("%s() Could not wait on barrier: error %d\n", __func__, errno);
     perror("");
     exit(-1);