bug fixes

[IRC.git] / Robust / src / Benchmarks / WebServer / WebServerSocket.java

diff --git a/Robust/src/Benchmarks/WebServer/WebServerSocket.java b/Robust/src/Benchmarks/WebServer/WebServerSocket.java
index 67c58f60c376ce4780275a977633c915d6ef82cf..8fa20041f8400d11ef9cad8f44a71fb9cca2181b 100644 (file)
--- a/Robust/src/Benchmarks/WebServer/WebServerSocket.java
+++ b/Robust/src/Benchmarks/WebServer/WebServerSocket.java
@@ -75,7 +75,6 @@ public class WebServerSocket extends Socket {
                    int index = prefix.indexOf('/');//Parse the GET client request to find filename
                    int end = prefix.indexOf('H');
                    filename = prefix.subString((index+1), (end-1));
-                   System.printString("\n");
                    return true;
                }
                return false;