$jscode = '';
$html = process();
+$debug = debug_info();
+
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="de">
<?=$html; ?>
</div>
+<?=$debug; ?>
</body>
</html>
return $ret;
}
+function debug_log($text)
+{
+ global $debug_info;
+
+ $debug_info .= '<br>' . $text;
+}
+
function debug_info()
{
+ global $jsfiles;
+ global $debug_info;
+
+ if (DEBUG !== true) return '';
+
+ $jsfiles[] = 'lib/debug_joey.js';
+
$html = '<div style="background: #DDD; margin: 5px; padding-left: 4px; border: 1px solid #AAA;clear:both;">';
$html .= "\n<pre>\n\$_SESSION = " . var_export($_SESSION,true) . "\n";
$html .= "\n\$_COOKIE = " . var_export($_COOKIE,true) . "\n</pre>\n";
+ $html .= $debug_info;
$html .= '</div>';
return $html;
}