diff options
| -rw-r--r-- | src/batchtools/headless/src/test/java/com/galois/fiveui/NanoHTTPD.java | 10 |
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 |