diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-03-05 23:24:19 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-03-05 23:24:19 -0800 |
| commit | 215cf3c2d8a8712520e113c10c4a8f093521fe62 (patch) | |
| tree | 51788bebacb989d2ddc0cf5c446940caa3d1ea41 /html/020run.cc.html | |
| parent | 35870198e2356ee55e662fac97d88ba6b0137042 (diff) | |
| download | mu-215cf3c2d8a8712520e113c10c4a8f093521fe62.tar.gz | |
3756 - start of some improvements to the trace browser
Diffstat (limited to 'html/020run.cc.html')
| -rw-r--r-- | html/020run.cc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/020run.cc.html b/html/020run.cc.html index 92a67ea1..38e9d427 100644 --- a/html/020run.cc.html +++ b/html/020run.cc.html @@ -302,7 +302,7 @@ if ('onhashchange' in window) { <span id="L237" class="LineNr">237 </span><span class="Delimiter">:(code)</span> <span id="L238" class="LineNr">238 </span><span class="Normal">void</span> cleanup_main<span class="Delimiter">()</span> <span class="Delimiter">{</span> <span id="L239" class="LineNr">239 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>Save_trace && Trace_stream<span class="Delimiter">)</span> <span class="Delimiter">{</span> -<span id="L240" class="LineNr">240 </span> ofstream fout<span class="Delimiter">(</span><span class="Constant">"interactive"</span><span class="Delimiter">);</span> +<span id="L240" class="LineNr">240 </span> ofstream fout<span class="Delimiter">(</span><span class="Constant">"last_run"</span><span class="Delimiter">);</span> <span id="L241" class="LineNr">241 </span> fout << Trace_stream<span class="Delimiter">-></span><a href='003trace.cc.html#L143'>readable_contents</a><span class="Delimiter">(</span><span class="Constant">""</span><span class="Delimiter">);</span> <span id="L242" class="LineNr">242 </span> fout<span class="Delimiter">.</span>close<span class="Delimiter">();</span> <span id="L243" class="LineNr">243 </span> <span class="Delimiter">}</span> |