start of new file

[IRC.git] / Robust / src / Benchmarks / Conglomerator / Tag / WebServerSocket.java

diff --git a/Robust/src/Benchmarks/Conglomerator/Tag/WebServerSocket.java b/Robust/src/Benchmarks/Conglomerator/Tag/WebServerSocket.java
index 86394fd4f1b14a7670221a5bfaaf2a5b7b069d96..d83dd3344ee3f4568788155aac11fc8050e915d2 100644 (file)
--- a/Robust/src/Benchmarks/Conglomerator/Tag/WebServerSocket.java
+++ b/Robust/src/Benchmarks/Conglomerator/Tag/WebServerSocket.java
@@ -1,10 +1,8 @@
 public class WebServerSocket {
-       // Websocket flag
        flag LogPending;
        flag WritePending;
        flag TransPending;
        flag WebInitialize;
-       
        //Filename requested by the client 
        String filename;
         String[] parsed;