Close the logging port once it's been used
This commit is contained in:
parent
dab984b1d5
commit
71607eff66
1 changed files with 4 additions and 0 deletions
|
|
@ -790,6 +790,10 @@ SKIP LOCKED")
|
||||||
(parameterize ((current-build-output-port logging-port))
|
(parameterize ((current-build-output-port logging-port))
|
||||||
(load-new-guix-revision conn git-repository-id commit))))
|
(load-new-guix-revision conn git-repository-id commit))))
|
||||||
(combine-log-parts! logging-conn id)
|
(combine-log-parts! logging-conn id)
|
||||||
|
|
||||||
|
;; This can happen with GC, so do it explicitly
|
||||||
|
(close-port logging-port)
|
||||||
|
|
||||||
result))))))
|
result))))))
|
||||||
(set-current-output-port previous-output-port)
|
(set-current-output-port previous-output-port)
|
||||||
(set-current-error-port previous-error-port)
|
(set-current-error-port previous-error-port)
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue