output headers to force utf-8 charset

diff --git a/helm/www/matita/cgi-bin/hl.cgi b/helm/www/matita/cgi-bin/hl.cgi
index 53926c7fa37b4b2505163387ff5f644cf4d0bcb9..f2a146ccc98355f503cb632f72d25ab60d5ee592 100755 (executable)
--- a/helm/www/matita/cgi-bin/hl.cgi
+++ b/helm/www/matita/cgi-bin/hl.cgi
@@ -35,14 +35,14 @@ my $protohrc = $documentroot . 'helm-proto.hrc';
 my $scriptsdir = $documentroot . 'library/';
 
 my %formatmap = (
-  ".ma" => "grafite",
-  ".c" => "c", # debug
+  '.ma' => 'grafite',
+  '.c' => 'c', # debug
 );
 
 # Code
   
 my $query = CGI->new;                      # used globally by some 'sub' below
-print $query->header;
+print $query->header(-type=>'text/html', -charset=>'utf-8');
 
 sub die_invalid_file() {
   print $query->start_html;
@@ -71,10 +71,11 @@ $highlighter->addConfig($protohrc);
 my ($script, $format) = lookup_script($fname);
 open SCRIPT, "< $script" or die "Can't open Matita script \"$script\"\n";
 my @lines = <SCRIPT>;
-my $text = join "", @lines;
+my $text = join '', @lines;
 close SCRIPT;
 
-print $query->start_html(-style=>{"src"=>"/$format-format.css"});
+print $query->start_html(-style=>{'src'=>"/$format-format.css"},
+                        -encoding=>'utf-8');
 my $result = $highlighter->highlight($format, $text);
 print "<pre>\n";
 print $result;