X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fhttp_getter%2Fhttp_getter.pl.in;fp=helm%2Fhttp_getter%2Fhttp_getter.pl.in;h=40fd3118d1b1b156635587bbb49e6eaf8e4a03bf;hb=0e5feffa1e6379b84125357ea356907a56d65c3c;hp=1daadef7b37c68a405bd025d1c51eb4c3b640f4e;hpb=2743bf654edf44411fb0c0a64bbe485c6bc5c864;p=helm.git

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 1daadef7b..40fd3118d 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -364,12 +364,12 @@ while (my $c = $d->accept) {
 sub isRdfUri { # return true if the uri is an rdf uri, false otherwise
 # typycal rdf uri:
 # helm:rdf/cic:www.cs.unibo.it/helm/rdf/foo_schema//cic:\
-#  /Coq/Init/Logic/True_rec.con.types.xml.gz
+#  /Coq/Init/Logic/True_rec.con.types
 #
 # the format is "helm:rdf/<metadata_tree>:<metadata_scheme>//<xml_file_uri>"
 #
  my ($uri) = @_;
- if ($uri =~ /^helm:rdf\/(.*):?(.*)\/\/(.*)/) {
+ if ($uri =~ /^helm:rdf(.*):?(.*)\/\/(.*)/) {
   return 1;
  } else {
   return 0;