diff options
| author | 宋文武 <iyzsong@member.fsf.org> | 2017-10-14 22:45:55 +0800 |
|---|---|---|
| committer | 宋文武 <iyzsong@member.fsf.org> | 2017-10-17 19:00:35 +0800 |
| commit | 5efa0e4d4f25485dcf3c520f9f3db9ef126efdf6 (patch) | |
| tree | ff67a95573f96a05674685ce564a4e7b7a2e06ad /guix/utils.scm | |
| parent | bb4b9f7bf3d3c465823cd6d261c92fa90f9f97aa (diff) | |
guix: substitute: Report the last progress in the child process.
Fixes <https://bugs.gnu.org/28756>.
* guix/utils.scm (filtered-port): Close the 'input' port for the current
process, and close it upon exit in the child process.
* guix/scripts/substitute.scm (progress-substitution): Display "\n\n" after
the reporter has finished.
Diffstat (limited to 'guix/utils.scm')
| -rw-r--r-- | guix/utils.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/guix/utils.scm b/guix/utils.scm index de4aa65319..2cf9be36df 100644 --- a/guix/utils.scm +++ b/guix/utils.scm @@ -153,9 +153,11 @@ buffered data is lost." (close-port in) (dump-port input out)) (lambda () + (close-port input) (false-if-exception (close out)) (primitive-_exit 0)))) (child + (close-port input) (close-port out) (loop in (cons child pids))))))))) |