iens

commit 7725d3870d35fc0796f19a6bd0d2bef618b705d0
parent 8bf30da3826edb80200e9b7409b7979ad6e322ef
Author: Natasha Kerensikova <natgh@instinctive.eu>
Date:   Thu, 13 Aug 2026 17:18:27 +0000

User interrupt stops get-gruiks
Diffstat:
M
src/get-gruiks.scm
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/get-gruiks.scm b/src/get-gruiks.scm
@@ -205,10 +205,10 @@
             ((1) (apply process-atom args))
             ((2) (apply process-rss  args))
             (else (assert #f "Bad process index"))))))
+    (exn (user-interrupt) (signal exn))
     (exn () (write-line (conc "Error while checking " name))
             (print-error-message exn))))
 
-
 ;;;;;;;;;;;;;;;
 ;; Actual Run