From cfdb51a745ebc754ddb745ad7b080bdc7c933bfd Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Wed, 6 Aug 2008 01:53:05 +0000 Subject: [PATCH] Adding whitespace trimming around the URL used in Install .plt file... svn: r11097 --- collects/drscheme/private/frame.ss | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/collects/drscheme/private/frame.ss b/collects/drscheme/private/frame.ss index 6ced740583..758764717e 100644 --- a/collects/drscheme/private/frame.ss +++ b/collects/drscheme/private/frame.ss @@ -376,11 +376,21 @@ (cond [cancel? (void)] [(from-web?) - (install-plt-from-url (send url-text-field get-value) parent)] + (install-plt-from-url (trim-whitespace (send url-text-field get-value)) parent)] [else (parameterize ([error-display-handler drscheme:init:original-error-display-handler]) (run-installer (string->path (send file-text-field get-value))))])) + ;; trim-whitespace: string -> string + ;; Trims the whitespace surrounding a string. + (define (trim-whitespace a-str) + (cond + [(regexp-match #px"^\\s*(.*[^\\s])\\s*$" + a-str) + => second] + [else + a-str])) + ;; install-plt-from-url : string (union #f dialog%) -> void ;; downloads and installs a .plt file from the given url (define (install-plt-from-url s-url parent)