diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-07-25 22:25:12 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-07-26 09:03:13 -0700 |
commit | b2e36ec82782b40c34bf181a82bd518b8943cb66 (patch) | |
tree | 44c18821c6378e3f0c23058d6096be6a9606b820 /003trace.cc | |
parent | 15152795cead7ed7d6673a0c2ac996ac9c346945 (diff) | |
download | mu-b2e36ec82782b40c34bf181a82bd518b8943cb66.tar.gz |
4418
Use 'dump' consistently to mean 'to screen' (stderr), and 'save' to mean 'to disk'.
Diffstat (limited to '003trace.cc')
-rw-r--r-- | 003trace.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/003trace.cc b/003trace.cc index 20a0b48e..57604ee0 100644 --- a/003trace.cc +++ b/003trace.cc @@ -117,7 +117,7 @@ struct trace_stream { return *curr_stream; } - void dump() { + void save() { ofstream fout("last_run"); fout << readable_contents(""); fout.close(); @@ -220,7 +220,7 @@ struct lease_tracer { lease_tracer::lease_tracer() { Trace_stream = new trace_stream; } lease_tracer::~lease_tracer() { if (!Trace_stream) return; // in case tests close Trace_stream - if (Save_trace) Trace_stream->dump(); + if (Save_trace) Trace_stream->save(); delete Trace_stream, Trace_stream = NULL; } :(before "End Includes") |