05/06: substitute: Progress port really closes underlying port.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit f85dbc4f3bcdc9f11cea9cca4feffee2e57a4412
Author: Ludovic Courtès <address@hidden>
Date:   Tue Sep 25 12:28:55 2018 +0200

    substitute: Progress port really closes underlying port.
    
    * guix/scripts/substitute.scm (progress-report-port): Use 'close-port'
    instead of 'close-connection'.  Move 'stop' call first.
---
 guix/scripts/substitute.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/guix/scripts/substitute.scm b/guix/scripts/substitute.scm
index 6d31dfd..50c6a22 100755
--- a/guix/scripts/substitute.scm
+++ b/guix/scripts/substitute.scm
@@ -837,8 +837,8 @@ REPORTER, which should be a <progress-reporter> object."
        (make-custom-binary-input-port "progress-port-proc"
                                       read! #f #f
                                       (lambda ()
-                                        (close-connection port)
-                                        (stop)))))))
+                                        (stop)
+                                        (close-port port)))))))
 
 (define-syntax with-networking
   (syntax-rules ()