X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcgi-bin%2Fhl.cgi;h=f2a146ccc98355f503cb632f72d25ab60d5ee592;hb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;hp=53926c7fa37b4b2505163387ff5f644cf4d0bcb9;hpb=fb10d3f0787aabe8548829453a31a355148f1d16;p=helm.git

diff --git a/helm/www/matita/cgi-bin/hl.cgi b/helm/www/matita/cgi-bin/hl.cgi
index 53926c7fa..f2a146ccc 100755
--- 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;