From: Claudio Sacerdoti Coen 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/?a=commitdiff_plain;h=7a77e2728c1ddd4ad0f4fe75747de04d84a5ca4d;p=helm.git 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 .= '' . "\n"; + $content .= "" . "\n\n"; + $content .= "\n"; + foreach $uri (sort (keys(%rdf_map))) { + print "GETALLRDFURI: $uri\n" if defined($debug); + $content .= "\t\n"; + } + $content .= "\n"; + return $content; +} + sub finduris { # find uris for cic and theory trees generation my ($uritype,$uripattern,$format) = @_; my $content = "";