a small change

diff --git a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
index b0e46e11f23c951154424d3f7e8a8c05c1a31290..62379c10dc71d8c55aa0dd0a31865e22b9940cd7 100644 (file)
--- a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
+++ b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
@@ -30,7 +30,7 @@ public class Mail {
     while((line = fileinput.readLine()) != null)
     {
       String[] splittedLine = line.split();
-      if(splittedLine[0].equals("MessageID:"))  // message id
+      if(splittedLine[0].equals("Header:"))  // message id
       {
         header = splittedLine[1];
       }

diff --git a/Robust/src/Benchmarks/Distributed/SpamFilter/emails/gen.c b/Robust/src/Benchmarks/Distributed/SpamFilter/emails/gen.c
index d732f90643c64f2dbcf63fbd3e6711e38a6ea6c7..5491f7de5a0d5c084d0c8ac4f1ac56dcb44e790a 100644 (file)
--- a/Robust/src/Benchmarks/Distributed/SpamFilter/emails/gen.c
+++ b/Robust/src/Benchmarks/Distributed/SpamFilter/emails/gen.c
@@ -96,7 +96,7 @@ void generateEmails(int num_email,char** wl,int word_num,char** ul,int url_num,c
      newFile = fopen(fileNameBuffer,"w");
 
      // write header
-     fprintf(newFile,"MessageID: %d\n",i+1);
+     fprintf(newFile,"Header: %d\n",i+1);
      
      // write to account name
      writeString(newFile,"To: ",al,ac_num);