From 9999936fd63fcef7afcb9fc85246ed7ea9abc940 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 11 May 2007 05:47:32 +0000 Subject: [PATCH] proxy needs an integer svn: r6200 --- collects/browser/external.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/browser/external.ss b/collects/browser/external.ss index 9a6124cdef..e12ada318a 100644 --- a/collects/browser/external.ss +++ b/collects/browser/external.ss @@ -31,7 +31,7 @@ (define (proxy-pref? x) (match x [#f #t] - [`("http" ,(? string?) ,(? number?)) #t] + [`("http" ,(? string?) ,(? integer?)) #t] [else #f])) ;; sync-current-proxy-servers : proxy-pref -> void