]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_misc.ml
local_url predicate (recognize file:// urls)
[helm.git] / helm / ocaml / getter / http_getter_misc.ml
index eeea891602bf979404fe3c55a2abed7c87565cba..c6a5954e55a243c271d69d3175053be8f482cabf 100644 (file)
@@ -35,6 +35,8 @@ let file_scheme_RE = Pcre.regexp ~flags:[`CASELESS] "^file://"
 let dir_sep_RE = Pcre.regexp "/"
 let heading_slash_RE = Pcre.regexp "^/"
 
+let is_local_url s = Pcre.pmatch ~rex:file_scheme_RE s
+
 let bufsiz = 16384  (* for file system I/O *)
 let tcp_bufsiz = 4096 (* for TCP I/O *)