Close stdin.

This commit is contained in:
Dominik Pantůček 2023-04-11 09:16:17 +02:00
parent 6fb6528919
commit fd5ef664d8

View file

@ -74,6 +74,7 @@
(display (car lines) stdin) (display (car lines) stdin)
(newline stdin) (newline stdin)
(loop (cdr lines)))) (loop (cdr lines))))
(close-output-port stdin)
(let ((result (read-lines stdout))) (let ((result (read-lines stdout)))
(let-values (((pid exit-ok? exit/signal) (process-wait pid))) (let-values (((pid exit-ok? exit/signal) (process-wait pid)))
result)))) result))))