114,118d113
<
< #if TRACING_ON
< // dump trace buffer, if there is one
< Trace::theLog.dump(cerr);
< #endif