From bc617f6f548c34a2faa59ca813cb37dd14c709ea Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 18 Jul 2006 08:47:58 +0000
Subject: [PATCH] output headers to force utf-8 charset

---
 helm/www/matita/cgi-bin/hl.cgi | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

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