proxy needs an integer

svn: r6200
This commit is contained in:
Eli Barzilay 2007-05-11 05:47:32 +00:00
parent 09f09289e2
commit 9999936fd6

View File

@ -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