diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-08-24 19:38:02 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-08-24 19:38:02 -0700 |
commit | 23eed027bc932c1cb51f261e061d384de7dec680 (patch) | |
tree | bd70ed4d4f6ea68d81789901288dbed57612249c /003trace.cc | |
parent | 1d13dac8b1cda5f097897069cd0ea85d6ca2e3f9 (diff) | |
download | mu-23eed027bc932c1cb51f261e061d384de7dec680.tar.gz |
2073
Diffstat (limited to '003trace.cc')
-rw-r--r-- | 003trace.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/003trace.cc b/003trace.cc index d2afb21c..a6e262ac 100644 --- a/003trace.cc +++ b/003trace.cc @@ -189,6 +189,7 @@ string Trace_file; struct lease_tracer { lease_tracer() { Trace_stream = new trace_stream; } ~lease_tracer() { + if (!Trace_stream) return; // in case tests close Trace_stream //? cerr << "write to file? " << Trace_file << "$\n"; //? 2 if (!Trace_file.empty()) { //? cerr << "writing\n"; //? 2 |