start of new file

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

diff --git a/Robust/src/Benchmarks/ChatTag/ChatServer.java b/Robust/src/Benchmarks/ChatTag/ChatServer.java
index 90f21b53794c9d755123fa9f7a0d93d0670e46c3..184d75bbd756ea02c6fddb4c31edbca342e0d47a 100644 (file)
--- a/Robust/src/Benchmarks/ChatTag/ChatServer.java
+++ b/Robust/src/Benchmarks/ChatTag/ChatServer.java
@@ -8,10 +8,8 @@ task Startup(StartupObject s{initialstate}) {
 task AcceptConnection(ServerSocket ss{SocketPending}) {
     tag t=new tag(link);
     ChatSocket cs=new ChatSocket() {Initialized}{t};
-    Socket s=new Socket() {}{t};
-    cs.sock=s;
-    ss.accept(s);
-    s.write("Please choose a chatroom".getBytes());
+    cs.sock=ss.accept(t);
+    cs.sock.write("Please choose a chatroom".getBytes());
 }
 
 task ReadRequest(ChatSocket cs{Initialized}{link l}, Socket s{IOPending}{link l}) {