revert from camlp5o to standard syntax

[helm.git] / matita / components / getter / http_getter_misc.ml

diff --git a/matita/components/getter/http_getter_misc.ml b/matita/components/getter/http_getter_misc.ml
index d67dceff1120141ae0a7d78869c40b268962f99e..1223af468228dc90b29dd4a6be1571c8bfdcc354 100644 (file)
--- a/matita/components/getter/http_getter_misc.ml
+++ b/matita/components/getter/http_getter_misc.ml
@@ -33,7 +33,7 @@ open Printf
 let file_scheme_prefix = "file://"
 
 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_scheme_prefix)
 let dir_sep_RE = Pcre.regexp "/"
@@ -47,7 +47,7 @@ let local_url =
     with Not_found -> None
 
 let bufsiz = 16384  (* for file system I/O *)
-let tcp_bufsiz = 4096 (* for TCP I/O *)
+(*let tcp_bufsiz = 4096 (* for TCP I/O *)*)
 
 let fold_file f init fname =
   let ic = open_in fname in
@@ -183,7 +183,7 @@ let gunzip ?(keep = false) ?output fname =
       (try
         while true do
           let bytes = Gzip.input ic buf 0 bufsiz in
-          if bytes = 0 then raise End_of_file else Pervasives.output oc buf 0 bytes
+          if bytes = 0 then raise End_of_file else Stdlib.output oc buf 0 bytes
         done
       with End_of_file -> ());
        close_out oc;
@@ -300,7 +300,7 @@ let temp_file_of_uri uri =
   let flat_string s s' c =
     let cs = Bytes.of_string s in
     for i = 0 to (String.length s) - 1 do
-      if String.contains s' s.[i] then cs.[i] <- c
+      if String.contains s' s.[i] then Bytes.set cs i c
     done;
     Bytes.to_string cs
   in