- let path =
- let path = Http_getter.resolve' (UriManager.strip_xpointer uri) in
- assert (String.sub path 0 7 = "file://");
- String.sub path 7 (String.length path - 7)
- in
- remove_object_from_disk uri path;
- with
- Http_getter_types.Key_not_found _ -> Http_getter.unregister' uri);
+ MatitaLog.debug ("Removing: " ^ UriManager.string_of_uri uri);
+ MatitaMisc.safe_remove (Http_getter.resolve' uri)
+ with Http_getter_types.Key_not_found _ -> ());