*** empty log message ***

diff --git a/Robust/Transactions/dstm2/src/dstm2/Thread.java b/Robust/Transactions/dstm2/src/dstm2/Thread.java
index e3dda09763f36021378351d425bcccc9c3102654..ce56db126fd9c5092fcb99ac91bbbb1add0e3549 100644 (file)
--- a/Robust/Transactions/dstm2/src/dstm2/Thread.java
+++ b/Robust/Transactions/dstm2/src/dstm2/Thread.java
@@ -318,9 +318,10 @@ public class Thread extends java.lang.Thread{
       totalTotal += threadState.total;
       threadState.reset();  // set up for next iteration
     }
-    if (result == null)
+   /* if (result == null)
         throw new GracefulException();
-    else return result;
+    else return result;*/
+    return result;
   }
   /**
    * Execute transaction