finish($errormsg); // NORETURN if ($in_exit) exit; $in_exit = true; global $ErrorManager; $ErrorManager->flushPostponedErrors(); if(!empty($errormsg)) { PrintXML(HTML::br(), $errormsg); print "\n"; } exit; } $ErrorManager->setPostponedErrorMask(E_ALL); $ErrorManager->setFatalHandler(new WikiFunctionCb('ExitWiki')); // (c-file-style: "gnu") // Local Variables: // mode: php // tab-width: 8 // c-basic-offset: 4 // c-hanging-comment-ender-p: nil // indent-tabs-mode: nil // End: ?>