From 0cc8f54e11ed719e6c58434ba546501a7257b84e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 17 Sep 2003 12:27:50 +0000 Subject: [PATCH] www-sop.inria.fr ^ Hyphen in the name of the server were not allowed. Fixed. --- helm/http_getter/http_getter_misc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml index 7b70a14b1..922edc560 100644 --- a/helm/http_getter/http_getter_misc.ml +++ b/helm/http_getter/http_getter_misc.ml @@ -30,7 +30,7 @@ open Http_getter_debugger;; open Printf;; let trailing_dot_gz_RE = Pcre.regexp "\\.gz$" (* for g{,un}zip *) -let url_RE = Pcre.regexp "^([\\w.]+)(:(\\d+))?(/.*)?$" +let url_RE = Pcre.regexp "^([\\w.-]+)(:(\\d+))?(/.*)?$" let http_scheme_RE = Pcre.regexp ~flags:[`CASELESS] "^http://" let file_scheme_RE = Pcre.regexp ~flags:[`CASELESS] "^file://" let dir_sep_RE = Pcre.regexp "/" -- 2.39.2