This commit was manufactured by cvs2svn to create tag 'buildscript'.

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

diff --git a/Robust/src/Benchmarks/Chat/ChatServer.java b/Robust/src/Benchmarks/Chat/ChatServer.java
deleted file mode 100644 (file)
index aed388e..0000000
--- a/Robust/src/Benchmarks/Chat/ChatServer.java
+++ /dev/null
@@ -1,30 +0,0 @@
-task Startup(StartupObject s{initialstate}) {
-    System.printString("Chat Server Benchmark");
-    RoomObject ro=new RoomObject() {Initialized};
-    ServerSocket ss=new ServerSocket(8000);
-    taskexit(s{!initialstate});
-}
-
-task AcceptConnection(ServerSocket ss{SocketPending}) {
-    ChatSocket cs=new ChatSocket() {Initialized};
-    ss.accept(cs);
-    cs.write("Please choose a chatroom".getBytes());
-}
-
-task ReadRequest(ChatSocket cs{Initialized && IOPending}) {
-    if (cs.processRead()) {
-       taskexit(cs{!Initialized, ProcessRoom});
-    }
-}
-
-task ProcessRoom(ChatSocket cs{ProcessRoom}, RoomObject ro{Initialized}) {
-    cs.processRoom(ro);
-    taskexit(cs{!ProcessRoom, InRoom});
-}
-
-task Message(ChatSocket cs{InRoom && IOPending}) {
-    byte buffer[]=new byte[1024];
-    int length=cs.read(buffer);
-    String st=(new String(buffer)).subString(0, length);
-    cs.room.sendToRoom(cs, st.getBytes());
-}