Close executable binary ports explicitly.

This commit is contained in:
Dominik Pantůček 2023-05-19 19:31:04 +02:00
parent 5d7e4a0117
commit 517e1baeb6

View file

@ -96,6 +96,8 @@
(close-output-port stdin)
(let ((result (read-lines stdout)))
(let-values (((pid exit-ok? exit/signal) (process-wait pid)))
(close-input-port stdout)
(close-input-port stderr)
result))))
)