diff options
Diffstat (limited to 'base/misc.cc')
| -rw-r--r-- | base/misc.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/base/misc.cc b/base/misc.cc index 80968bd44..5caf96d40 100644 --- a/base/misc.cc +++ b/base/misc.cc @@ -121,6 +121,8 @@ __warn(const string &format, cp::ArgList &args, const char *func, #endif args.dump(cerr, fmt); + if (outputStream != &cerr && outputStream != &cout) + args.dump(*outputStream, fmt); delete &args; } |