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