From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 22 May 2002 09:37:48 +0000 (+0000)
Subject: getallrdfuris implemented
X-Git-Tag: V_0_3_0_debian_8~88
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=7a77e2728c1ddd4ad0f4fe75747de04d84a5ca4d

getallrdfuris implemented
---

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index c9cac35f2..0acf0ca34 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -318,6 +318,13 @@ while (my $c = $d->accept) {
             # send back all the keys in xml
             print "BASEURI $baseuri, FORMAT $outype\n";
             $cont = getalluris();
+            answer($c,$cont,"text/xml","");
+
+                                 # "/getallrdfuris"
+        } elsif ($http_method eq 'GET' and $http_path eq "/getallrdfuris") {
+            # send back all the keys in xml
+            print "BASEURI $baseuri, FORMAT $outype\n";
+            $cont = getallrdfuris();
             answer($c,$cont,"text/xml","");
 
         } elsif ($http_method eq 'GET' and $http_path eq "/ls") {
@@ -468,6 +475,23 @@ sub getalluris { # get all the keys whose prefix is cic
  return $content;
 }
 
+sub getallrdfuris {
+ my $content = "";
+ my ($uri);
+ my $debug=1; # for debug
+
+  $content .= '<?xml version="1.0" encoding="ISO-8859-1"?>' . "\n";
+  $content .= "<!DOCTYPE allrdfuris SYSTEM ";
+  $content .= "\"$myownurl/getdtd?uri=alluris.dtd\">" . "\n\n";
+  $content .= "<allrdfuris>\n";
+  foreach $uri (sort (keys(%rdf_map))) {
+   print "GETALLRDFURI: $uri\n" if defined($debug);
+   $content .= "\t<uri value=\"$uri\"/>\n";
+  }
+  $content .= "</allrdfuris>\n";
+ return $content;
+}
+
 sub finduris { # find uris for cic and theory trees generation
  my ($uritype,$uripattern,$format) = @_;
  my $content = "";