From 3449a6e0b4045a903b9f16db8a2c91986b5ddf0d Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 19 Jul 2006 09:54:03 +0000
Subject: [PATCH] is_empty_listing fixed: the ls method normalizes away the .gz
 suffix

---
 helm/software/components/getter/http_getter_storage.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 **********************************)
     
-- 
2.39.2