diff options
| -rw-r--r-- | edit.mu | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/edit.mu b/edit.mu index cf3679cd..a5c2795b 100644 --- a/edit.mu +++ b/edit.mu @@ -2837,6 +2837,8 @@ recipe run-sandboxes [ init:address:address:duplex-list/deref <- push-duplex 167:literal/§, 0:literal/tail } # save all sandboxes before running, just in case we die when running + # first clear previous versions, in case we deleted some sandbox + $system [rm lesson/[0-9]*] curr:address:sandbox-data <- get env:address:programming-environment-data/deref, sandbox:offset filename:number <- copy 0:literal { |