(fun uri ->
let uri = Pcre.replace ~rex:xpointer_RE ~templ:"" uri in
List.iter
- (fun suffix -> MatitaMisc.safe_remove (uri ^ suffix ^ ".xml.gz"))
+ (fun suffix ->
+ try
+ MatitaMisc.safe_remove (Http_getter.resolve (uri ^ suffix))
+ with Http_getter_types.Key_not_found _ -> ())
[""; ".body"; ".types"])
owned_uris;
List.iter (fun statement ->
let status = Mysql.status dbd in
match status with
| Mysql.StatusError Mysql.Table_exists_error -> ()
+ | Mysql.StatusError Mysql.Dup_keyname -> ()
| Mysql.StatusError _ -> raise exn
| _ -> ()
) statements
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 ()
-