code change

diff --git a/Robust/src/Runtime/DSTM/interface/dstmserver.c b/Robust/src/Runtime/DSTM/interface/dstmserver.c
index 64b1c8bc0d45f06226d2c0a6dd758662da561850..043fbb889549d389f0e9377fd61ee0c2b0e068d8 100644 (file)
--- 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;