From: jihoonl <jihoonl>
Date: Mon, 11 Jan 2010 10:54:50 +0000 (+0000)
Subject: change
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d94e2a079a67536699d1b1338605f0de60654088;p=IRC.git

change
---

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index ed7b5cf5..9eefae23 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -219,6 +219,8 @@ public class Main {
 	state.THREAD=true;
       else if (option.equals("-dsm"))
 	state.DSM=true;
+      else if (option.equals("-recoverystats"))
+  state.DSMRECOVERYSTATS=true;
       else if (option.equals("-dsmtask"))
   state.DSMTASK=true;
       else if (option.equals("-singleTM"))
@@ -292,7 +294,7 @@ public class Main {
 	sourcefiles.add(args[i]);
       }
     }
-
+    
     //add default classpath
     if (state.classpath.size()==1)
       state.classpath.add(ClassLibraryPrefix);