CTRL-C as $finish

2022-12-01 19:33:53 +03:00
parent 5a23aa8e0f
commit 347dfa0af6
1 changed files with 1 additions and 1 deletions
--- a/_web_server/server/playground-server.scm
+++ b/_web_server/server/playground-server.scm
@@ -291,7 +291,7 @@
              (values status compile-log)
              ;; Execute
-              (let ((cmdline (format "~a ~a" vvp-exe exe-file)))
+              (let ((cmdline (format "~a -N ~a" vvp-exe exe-file)))
                (let-values (((status out)
                              (system-to-string cmdline)))
                  (let ((execution-log