From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Mar 2001 11:25:36 +0000 (+0000)
Subject: Added dtd reference in ls method while generating xml output.
X-Git-Tag: v0_1_2~84
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f641e5fe2bc0bb44cadd1180a4a5528c56b43dae;p=helm.git

Added dtd reference in ls method while generating xml output.
---

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 4240edd80..55f16bdc1 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -402,14 +402,17 @@ sub finduris { # find uris for cic and theory trees generation
  }
                             # now generate OUTPUT:
                             # output will be saved in $content
- if ($format eq "txt") { 
+ if ($format eq "txt") { # TXT output
   foreach $key (sort(keys %dirs)) {
    $content .= "dir, " . $key . "\n";
   }
   foreach $key (sort(keys %objects)) {
    $content .= "object, $key, " . $objects{$key} . "\n";
   }
- } elsif ($format eq "xml") {
+ } elsif ($format eq "xml") { # XML output
+  $content .= '<?xml version="1.0" encoding="ISO-8859-1"?>' . "\n";
+  $content .= '<!DOCTYPE ls SYSTEM ';
+  $content .= '"http://localhost:8081/getdtd?uri=ls.dtd">' . "\n\n";
   $content .= "<ls>\n";
   foreach $key (sort(keys %dirs)) {
    $content .= "\t<section>$key</section>\n";