From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 16 Mar 2001 10:44:21 +0000 (+0000)
Subject: Fixed bug in .ann extension handling.
X-Git-Tag: v0_1_2~79
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a6d6fdf56d6d9271b86341f0c986f0a265f15e37;p=helm.git

Fixed bug in .ann extension handling.
---

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 55f16bdc1..67d295624 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -375,7 +375,7 @@ sub finduris { # find uris for cic and theory trees generation
 
     if ($localpart =~ /^[^\/]*$/) { # no slash, an OBJECT
      $basepart = $localpart;
-     $basepart =~ s/^(.*)\.types(\.ann)?/$1/; # remove exts .types or
+     $basepart =~ s/^([^.]*\.[^.]*)(\.types)?(\.ann)?/$1/; # remove exts .types or
                                               # .types.ann
      $flags = $objects{$basepart}; # get old flags
      if ($localpart =~ /\.ann$/) {