*** empty log message ***

diff --git a/Robust/src/Benchmarks/Recovery/FileSystem/java/FileSystem.java b/Robust/src/Benchmarks/Recovery/FileSystem/java/FileSystem.java
index 580cc0d8c9bdb071f851fae4e7aa2ee3ad2e8267..6c4c9a77f692d1d478af6eaf701b799a671b75ff 100644 (file)
--- a/Robust/src/Benchmarks/Recovery/FileSystem/java/FileSystem.java
+++ b/Robust/src/Benchmarks/Recovery/FileSystem/java/FileSystem.java
@@ -196,12 +196,6 @@ public class FileSystem {
                }\r
        }\r
        \r
-       public Object read(HashMap mydhmap, String key) {\r
-               Object obj = mydhmap.get(key); \r
-               \r
-               return obj;\r
-       }\r
-       \r
        public static void main(String[] args) {\r
                String filename;\r
 \r
@@ -209,7 +203,7 @@ public class FileSystem {
                        filename = args[0];\r
                }\r
                else {\r
-                       System.out.println("./FileSystem.bin <data>");\r
+                       System.out.println("usage: ./FileSystem.bin <data>");\r
                        System.exit(0);\r
                }\r
                \r

diff --git a/Robust/src/Benchmarks/Recovery/Spider/java/LocalQuery.java b/Robust/src/Benchmarks/Recovery/Spider/java/LocalQuery.java
index 1beeadbe305c51c05b060dff598b6638ca349b47..e04e1cf522a3235db7d2cbe177ac7f86518b86c2 100644 (file)
--- a/Robust/src/Benchmarks/Recovery/Spider/java/LocalQuery.java
+++ b/Robust/src/Benchmarks/Recovery/Spider/java/LocalQuery.java
@@ -23,14 +23,6 @@ public class LocalQuery {
     return path;
   }
 
-  public void outputFile() {
-               StringBuffer sb = new StringBuffer(hostname);
-               sb.append(path);
-    FileOutputStream fos = new FileOutputStream(sb.toString().replace('/','#'));
-    fos.write(response.toString().getBytes());
-    fos.close();
-  }
-
   public String makewebcanonical(String page) {
     StringBuffer b = new StringBuffer(getHostName(page));
     b.append("/");

diff --git a/Robust/src/Benchmarks/Recovery/Spider/java/Spider.java b/Robust/src/Benchmarks/Recovery/Spider/java/Spider.java
index 229d2cb6d4b83f8f579a833b53b158648d909f2b..46226bd1e967fcdc441b66df384b6330479d3484 100644 (file)
--- a/Robust/src/Benchmarks/Recovery/Spider/java/Spider.java
+++ b/Robust/src/Benchmarks/Recovery/Spider/java/Spider.java
@@ -8,6 +8,11 @@ public class Spider {
                String firstmachine;
                String firstpage;
 
+               if ((args.length != 1) && (args.length != 2)) {
+                       System.printString("usage: ./Spider <first site> [first page]\n");
+                       System.exit(0);
+               }
+
                firstmachine = new String(args[0]);
                if (args.length == 2) {
                        firstpage = new String(args[1]);