start of new file

[IRC.git] / Robust / src / Benchmarks / Chat / ChatServer.java

diff --git a/Robust/src/Benchmarks/Chat/ChatServer.java b/Robust/src/Benchmarks/Chat/ChatServer.java
index 4a0962938b0ef1a2014d92ab8c127362749d02a8..773a13406b40778546f7afa39f3b6e193acc927d 100644 (file)
--- a/Robust/src/Benchmarks/Chat/ChatServer.java
+++ b/Robust/src/Benchmarks/Chat/ChatServer.java
@@ -22,7 +22,7 @@ task ProcessRoom(ChatSocket cs{ProcessRoom}, RoomObject ro{Initialized}) {
     taskexit(cs{!ProcessRoom, InRoom});
 }
 
-task Messages(ChatSocket cs{InRoom && IOPending}) {
+task Message(ChatSocket cs{InRoom && IOPending}) {
     byte buffer[]=new byte[1024];
     int length=cs.read(buffer);
     Message m=new Message(buffer, length, cs){};