From a6d6fdf56d6d9271b86341f0c986f0a265f15e37 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 16 Mar 2001 10:44:21 +0000 Subject: [PATCH] Fixed bug in .ann extension handling. --- helm/http_getter/http_getter.pl.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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$/) { -- 2.39.2