+ if (isset($heading_done))
+ return;
+ $heading_done=1;
+
+ if (isset($force_charset))
+ $client_charset=$force_charset;
+ else
+ $client_charset=(!isset($HTTP_SERVER_VARS["CLIENT_CHARSET"]) ? "iso-8859-2" : $HTTP_SERVER_VARS["CLIENT_CHARSET"]);
+ // When "CLIENT_CHARSET" is set we MUST NOT explicitely specify our "charset"
+ header("Content-type: text/html".(isset($HTTP_SERVER_VARS["CLIENT_CHARSET"]) ? "" : "; charset=$client_charset"));