Mail.Mail fixed

diff --git a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
index 85a02afa9ab19fdbb9b549b865ef5752b62c69de..f813b596431c593bfa6f4e4ddeaebe8f88f66381 100644 (file)
--- a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
+++ b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
@@ -33,6 +33,7 @@ public class Mail {
 
   public Mail(String fileName)  // read a mail from file
   {
+    fileName = "emails/email41";
     System.out.println("fileName= " + fileName);
 
     FileInputStream fileinput = new FileInputStream(fileName);
@@ -84,6 +85,7 @@ public class Mail {
     while((fileinput.read(readBody)>0))
     {
       body += new String(readBody);
+      readBody = new byte[256];
     }
 
     fileinput.close();