From: jihoonl <jihoonl>
Date: Sat, 31 Oct 2009 04:16:39 +0000 (+0000)
Subject: a small change
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d1f7c9514eb961ad2827118fb7862cb242e411e7;p=IRC.git

a small change
---

diff --git a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
index b0e46e11..62379c10 100644
--- 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 d732f906..5491f7de 100644
--- 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);