From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 18 Jul 2006 08:47:58 +0000 (+0000)
Subject: output headers to force utf-8 charset
X-Git-Tag: make_still_working~7060
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bc617f6f548c34a2faa59ca813cb37dd14c709ea;p=helm.git

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 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;