...

diff --git a/writeout.cpp b/writeout.cpp
index 9a5409de4e16e0fdda1e654f2179f6364ef8034d..54b82038d2bbe491e4dfbcbd3dc9e99a0b07473c 100644 (file)
--- a/writeout.cpp
+++ b/writeout.cpp
@@ -42,7 +42,8 @@ writeout::writeout(const string& wdir, const string& signature,
   }
   else{
     buf = cout.rdbuf();
-    logbuf = cerr.rdbuf();
+    logf.open("/dev/null");
+    logbuf = logf.rdbuf();
   }
   out = new ostream(buf);
   log = new ostream(logbuf);