From fd5ef664d8ed027d665419fef41c55b4598b1d01 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Pant=C5=AF=C4=8Dek?= Date: Tue, 11 Apr 2023 09:16:17 +0200 Subject: [PATCH] Close stdin. --- src/util-io.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util-io.scm b/src/util-io.scm index 652acaa..ae71937 100644 --- a/src/util-io.scm +++ b/src/util-io.scm @@ -74,6 +74,7 @@ (display (car lines) stdin) (newline stdin) (loop (cdr lines)))) + (close-output-port stdin) (let ((result (read-lines stdout))) (let-values (((pid exit-ok? exit/signal) (process-wait pid))) result))))