aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2013-07-05 15:43:22 -0700
committerGravatar Benjamin Jones <bjones@galois.com>2013-07-05 15:43:22 -0700
commit202cce4d8c124a80c6637459b9fffb33b50d167a (patch)
treedc08ed3557b164a9fc0556ff737d38ff43508453 /src
parent136075d19f72d5855def9a49e37ea885403155c5 (diff)
silence httpd output
Diffstat (limited to 'src')
-rw-r--r--src/batchtools/headless/src/test/java/com/galois/fiveui/NanoHTTPD.java10
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