From 0e5feffa1e6379b84125357ea356907a56d65c3c Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 26 Jun 2001 15:11:26 +0000
Subject: [PATCH] Now helm:rdf:... is a valid URI. Before it had to be
 helm:rdf/:...

---
 helm/http_getter/http_getter.pl.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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