remove attempt to purify an already pure port
closes PR 14275
This commit is contained in:
parent
33b7f6f92f
commit
9b5fc9ea37
|
@ -548,7 +548,6 @@
|
||||||
(regexp-match "[0-9]+" content-header))])
|
(regexp-match "[0-9]+" content-header))])
|
||||||
(and m (string->number (car m)))))
|
(and m (string->number (car m)))))
|
||||||
(define tmp-filename (make-temporary-file "tmp~a.plt"))
|
(define tmp-filename (make-temporary-file "tmp~a.plt"))
|
||||||
(define header (purify-port port))
|
|
||||||
(define d (make-object dialog% (string-constant downloading) parent))
|
(define d (make-object dialog% (string-constant downloading) parent))
|
||||||
(define message (make-object message% (string-constant downloading-file...) d))
|
(define message (make-object message% (string-constant downloading-file...) d))
|
||||||
(define gauge (if size
|
(define gauge (if size
|
||||||
|
|
Loading…
Reference in New Issue
Block a user