function abort()
{
if (!headers_sent() && session_status() != PHP_SESSION_ACTIVE) {
session_start();
}
session_commit();
$out = '';
while (ob_get_level()) {
$out = ob_get_clean() . $out;
}
header('Content-Length: ' . strlen($out));
header('Connection: close');
echo $out;
flush();
if (function_exists('fastcgi_finish_request')) {
fastcgi_finish_request();
}
}