From 2d725daf9ffb06f2f33fe28065703905a9003d23 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 11 Jun 2001 13:37:56 +0000 Subject: [PATCH] Default for patch_dtd modified to "yes". --- helm/http_getter/http_getter.pl.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index e06a3a5e2..7017d1957 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -113,7 +113,7 @@ while (my $c = $d->accept) { my $answerformat = $cgi->param('format'); my $patch_dtd = $cgi->param('patch_dtd'); $answerformat = "" if (not defined($answerformat)); - $patch_dtd = "" if (not defined($patch_dtd)); + $patch_dtd = "yes" if (not defined($patch_dtd)); if (($answerformat ne "gz") and ($answerformat ne "normal") and ($answerformat ne "")) { die "Wrong output format: $answerformat, must be 'normal' ". -- 2.39.2