From 347dfa0af6d2d714c9ae7e8d17d149ae8fb4056f Mon Sep 17 00:00:00 2001 From: Nikolay Puzanov Date: Thu, 1 Dec 2022 19:33:53 +0300 Subject: [PATCH] CTRL-C as $finish --- _web_server/server/playground-server.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_web_server/server/playground-server.scm b/_web_server/server/playground-server.scm index 5fc411f..d49f2e3 100755 --- 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