small change to benchmark that wasn't checked in

diff --git a/Robust/src/Benchmarks/ChatJava/ChatThread.java b/Robust/src/Benchmarks/ChatJava/ChatThread.java
index 7500abe9639af59c2e1e3f7c61445dabf27bef34..af0d5ade74403c5fd33e4429d76b1c9081703acd 100644 (file)
--- a/Robust/src/Benchmarks/ChatJava/ChatThread.java
+++ b/Robust/src/Benchmarks/ChatJava/ChatThread.java
@@ -29,8 +29,10 @@ public class ChatThread extends Thread {
     public void Message() {
        byte buffer[]=new byte[1024];
        int length=sock.read(buffer);
+       if (length>0) {
        String st=(new String(buffer)).subString(0, length);
        room.sendToRoom(this, st.getBytes());
+       }
     }
     
     public boolean processRead() {