From 7bc3618bd8758fd4a1e884fd859d0c535d83879d Mon Sep 17 00:00:00 2001
From: root <root>
Date: Wed, 2 May 2007 20:14:57 +0000
Subject: [PATCH] small change to benchmark that wasn't checked in

---
 Robust/src/Benchmarks/ChatJava/ChatThread.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Robust/src/Benchmarks/ChatJava/ChatThread.java b/Robust/src/Benchmarks/ChatJava/ChatThread.java
index 7500abe9..af0d5ade 100644
--- 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() {
-- 
2.34.1