Now helm:rdf:... is a valid URI.

Before it had to be helm:rdf/:...

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 1daadef7b37c68a405bd025d1c51eb4c3b640f4e..40fd3118d1b1b156635587bbb49e6eaf8e4a03bf 100755 (executable)
--- 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;