let xpointer_RE = Pcre.regexp "#.*$"
+let file_scheme_RE = Pcre.regexp "^file://"
let clean_owner_environment () =
let dbd = instance () in
(fun uri ->
let uri = Pcre.replace ~rex:xpointer_RE ~templ:"" uri in
List.iter
- (fun suffix ->
- (*prerr_endline ("unregistering " ^ uri ^ suffix);*)
- Http_getter.unregister (uri ^ suffix))
-
+ (fun suffix -> MatitaMisc.safe_remove (uri ^ suffix ^ ".xml.gz"))
[""; ".body"; ".types"])
owned_uris;
List.iter (fun statement ->
let l = ref [] in
Mysql.iter rc (fun a -> match a.(0) with None ->()|Some a -> l := a:: !l);
List.map UriManager.uri_of_string !l
+
+let reset_owner_environment () =
+ clean_owner_environment ();
+ create_owner_environment ()
+