From c454340bb8880aff84398bca2fc87d49603c791a Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 27 Mar 2008 08:00:58 +0000
Subject: [PATCH] code change

---
 Robust/src/Runtime/DSTM/interface/dstmserver.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Runtime/DSTM/interface/dstmserver.c b/Robust/src/Runtime/DSTM/interface/dstmserver.c
index 64b1c8bc..043fbb88 100644
--- a/Robust/src/Runtime/DSTM/interface/dstmserver.c
+++ b/Robust/src/Runtime/DSTM/interface/dstmserver.c
@@ -145,7 +145,7 @@ void *dstmAccept(void *acceptfd) {
   transinfo.numnotfound = 0;
   
   /* Receive control messages from other machines */
-  while(true) {
+  while(1) {
     int ret=recv_data_errorcode((int)acceptfd, &control, sizeof(char));
     if (ret==-1)
       break;
-- 
2.34.1