--- web/cgi-bin/docs.cgi 2000/10/25 23:56:27 1.1 +++ web/cgi-bin/docs.cgi 2000/11/02 20:59:43 1.2 @@ -19,10 +19,10 @@ my ($bottom) = "../bottom.inc"; my ($query) = new CGI; -my ($doci) = ($query->param('doc') =~ /^\s*(.*?\.txt)\s*$/); -my ($doc) = "../documentation/$doci"; +my ($doc) = ($query->param('doc') =~ /^\s*(.*?\.txt)\s*$/); +$doc = "../documentation/".$doc; -print "content-type: text/html\n\n"; +print "Content-type: text/html\n\n"; print <<"END"; @@ -31,7 +31,7 @@ print <<"END"; docs.cgi Web-based text file viewer and formatter. Created by pjm2 19/10/2000 - Last modified 19/10/2000 + Last modified 02/11/2000 --> @@ -50,7 +50,7 @@ print <<"END";
\n"; +&print_html($title); &print_file($doc); -print "\n"; +&print_html($bottom); -&print_file($bottom); - print <<"END";
\n"; + # Use $_ implicitly throughout. + while ("; } +# Print a file without escaping HTML: - +sub print_html ($) { + my ($filename) = @_; + print `cat $filename`; +}) { + # Must do the next line first! + s/&/&/g; + s/</g; + s/>/>/g; + s/"/"/g; + print; } + print "