silence httpd output

1 files changed, 7 insertions, 3 deletions

diff --git a/src/batchtools/headless/src/test/java/com/galois/fiveui/NanoHTTPD.java b/src/batchtools/headless/src/test/java/com/galois/fiveui/NanoHTTPD.java
index 53434be..dd6f6c8 100644
--- a/src/batchtools/headless/src/test/java/com/galois/fiveui/NanoHTTPD.java
+++ b/src/batchtools/headless/src/test/java/com/galois/fiveui/NanoHTTPD.java
@@ -1075,9 +1075,13 @@ public class NanoHTTPD
 
 	private static int theBufferSize = 16 * 1024;
 
-	// Change these if you want to log to somewhere else than stdout
-	protected static PrintStream myOut = System.out; 
-	protected static PrintStream myErr = System.err;
+	// Change these if you want to log to somewhere else
+	protected static PrintStream myOut = new PrintStream(new OutputStream() {
+        public void write(int b) {
+            //DO NOTHING
+        }
+	});
+	protected static PrintStream myErr = myOut;
 
 	/**
 	 * GMT date formatter