X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgetter%2Fhttp_getter_storage.ml;h=77bfe138da3450d9a484fdf2a6e8681b591d7e83;hb=7bbe9c8a9fcc471920c18a12fb5745828f2fd188;hp=23f479c24cd4408de5007e96a536efd37c72b30a;hpb=9052c3d19ade20c086bb114133fe7cd060e23ec4;p=helm.git

diff --git a/helm/software/components/getter/http_getter_storage.ml b/helm/software/components/getter/http_getter_storage.ml
index 23f479c24..77bfe138d 100644
--- a/helm/software/components/getter/http_getter_storage.ml
+++ b/helm/software/components/getter/http_getter_storage.ml
@@ -83,7 +83,7 @@ let is_empty_listing files =
   List.for_all
    (fun s ->
      let len = String.length s in
-      len < 7 || String.sub s (len - 7) 7 <> ".xml.gz") files
+      len < 4 || String.sub s (len - 4) 4 <> ".xml") files
 
 (************************* GLOBALS PREFIXES **********************************)