From 9b5fc9ea372ca6a38ad3f6af02979ed56d8d7bbd Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 9 Jan 2014 23:44:29 -0600 Subject: [PATCH] remove attempt to purify an already pure port closes PR 14275 --- pkgs/drracket-pkgs/drracket/drracket/private/frame.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/frame.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/frame.rkt index 85972179a1..4793b2600c 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/frame.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/frame.rkt @@ -548,7 +548,6 @@ (regexp-match "[0-9]+" content-header))]) (and m (string->number (car m))))) (define tmp-filename (make-temporary-file "tmp~a.plt")) - (define header (purify-port port)) (define d (make-object dialog% (string-constant downloading) parent)) (define message (make-object message% (string-constant downloading-file...) d)) (define gauge (if size