X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgetter%2Fhttp_getter_storage.ml;h=77bfe138da3450d9a484fdf2a6e8681b591d7e83;hb=4f12355502a0af2edfa98023270c21a9f0d83533;hp=b1a05d9963f0b24673a56892af8ede8695fdc125;hpb=d90d73349df641ea2d18b4c2ff4fe9d970861778;p=helm.git

diff --git a/components/getter/http_getter_storage.ml b/components/getter/http_getter_storage.ml
index b1a05d996..77bfe138d 100644
--- a/components/getter/http_getter_storage.ml
+++ b/components/getter/http_getter_storage.ml
@@ -80,7 +80,10 @@ let is_file_schema url = Pcre.pmatch ~rex:file_scheme_RE url
 let is_http_schema url = Pcre.pmatch ~rex:http_scheme_RE url
 
 let is_empty_listing files = 
-  List.for_all (fun s -> s.[String.length s - 1] = '/') files
+  List.for_all
+   (fun s ->
+     let len = String.length s in
+      len < 4 || String.sub s (len - 4) 4 <> ".xml") files
 
 (************************* GLOBALS PREFIXES **********************************)