// Make sure, that the script realy realy diese here and now
$GLOBALS['app_died'] = true;
+ // Set content type if not set
+ if (!isContentTypeSet()) {
+ // text/html is the right one
+ setContentType('text/html');
+ } // END - if
+
// Load header
loadIncludeOnce('inc/header.php');
return isPostRequestParameterSet('ok');
}
+// Checks if 'content_type' is set
+function isContentTypeSet () {
+ return isset($GLOBALS['content_type']);
+}
+
// Setter for content type
function setContentType ($contentType) {
$GLOBALS['content_type'] = (string) $contentType;