diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-11 00:55:01 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-11 00:55:01 -0700 |
commit | f43c2125ededff8ff8710dcc042a89d5e95ce243 (patch) | |
tree | f4da3823bd83d426fc2bc7d3fac2bf9f001386dc | |
parent | 84f778325d6bc92da9f92696fa42a5044d9622ae (diff) | |
download | mu-f43c2125ededff8ff8710dcc042a89d5e95ce243.tar.gz |
1759
-rw-r--r-- | 081run_interactive.cc | 4 | ||||
-rw-r--r-- | edit.mu | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/081run_interactive.cc b/081run_interactive.cc index 76a7e2f4..179ab218 100644 --- a/081run_interactive.cc +++ b/081run_interactive.cc @@ -51,6 +51,10 @@ bool run_interactive(long long int address) { if (command.empty()) return false; Recipe.erase(Recipe_ordinal["interactive"]); Hide_warnings = true; + if (!Trace_stream) { + Trace_file = ""; // if there wasn't already a stream we don't want to save it + Trace_stream = new trace_stream; + } // call run(string) but without the scheduling load("recipe interactive [\n"+command+"\n]\n"); transform_all(); diff --git a/edit.mu b/edit.mu index d3d7cb51..2584497d 100644 --- a/edit.mu +++ b/edit.mu @@ -1871,6 +1871,7 @@ container sandbox-data [ ] scenario run-and-show-results [ + $close-trace # trace too long for github assume-screen 120:literal/width, 10:literal/height # recipe editor is empty 1:address:array:character <- new [] @@ -1915,7 +1916,6 @@ scenario run-and-show-results [ . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. . ┊ . ] - $close-trace # todo: try removing after we fix sluggishness ] recipe run-sandboxes [ @@ -1945,6 +1945,7 @@ recipe run-sandboxes [ ] scenario run-instruction-and-print-warnings [ + $close-trace # trace too long for github assume-screen 120:literal/width, 10:literal/height # left editor is empty 1:address:array:character <- new [] @@ -1994,7 +1995,6 @@ scenario run-instruction-and-print-warnings [ . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. . ┊ . ] - $close-trace # todo: try removing after we fix sluggishness ] recipe editor-contents [ |