From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 26 Jun 2001 15:11:26 +0000 (+0000)
Subject: Now helm:rdf:... is a valid URI.
X-Git-Tag: v0_1_3~134
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0e5feffa1e6379b84125357ea356907a56d65c3c;p=helm.git

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 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;