diff --git a/collects/framework/private/group.rkt b/collects/framework/private/group.rkt index e880742c51..675b24c94b 100644 --- a/collects/framework/private/group.rkt +++ b/collects/framework/private/group.rkt @@ -238,7 +238,7 @@ (define/public (locate-file name) (let* ([normalized ;; allow for the possibility of filenames that are urls - (with-handlers ([(λ (x) #t) + (with-handlers ([exn:fail? (λ (x) name)]) (normal-case-path (normalize-path name)))]