_start = $this->microtime(); // Function 'posix_times' does not exist on Windows if (function_exists('posix_times')) { $this->_times = posix_times(); } } /** * @param string $which One of 'real', 'utime', 'stime', 'cutime', 'sutime' * @param array $now * @return float Seconds. */ function getTime($which = 'real', $now = array()) { if ($which == 'real') { return $this->microtime() - $this->_start; } if (isset($this->_times)) { if (empty($now)) { $now = posix_times(); } $ticks = $now[$which] - $this->_times[$which]; return $ticks / $this->_CLK_TCK(); } return 0.0; // Not available. } function getStats() { if (!isset($this->_times)) { // posix_times() not available. return sprintf("real: %.3f", $this->getTime('real')); } $now = posix_times(); return sprintf("real: %.3f, user: %.3f, sys: %.3f", $this->getTime('real'), $this->getTime('utime', $now), $this->getTime('stime', $now)); } function _CLK_TCK() { // FIXME: this is clearly not always right. // But how to figure out the right value? return 100.0; } function microtime() { list($usec, $sec) = explode(" ", microtime()); return ((float)$usec + (float)$sec); } } $RUNTIMER = new DebugTimer; require_once(dirname(__FILE__) . '/ErrorManager.php'); require_once(dirname(__FILE__) . '/WikiCallback.php'); // FIXME: deprecated function ExitWiki($errormsg = false) { global $request; static $in_exit = 0; if (is_object($request) and method_exists($request, "finish")) $request->finish($errormsg); // NORETURN if ($in_exit) exit; $in_exit = true; global $ErrorManager; $ErrorManager->flushPostponedErrors(); if (!empty($errormsg)) { PrintXML(HTML::br(), $errormsg); print "\n"; } exit; } if (!defined('DEBUG') or (defined('DEBUG') and DEBUG > 2)) { $ErrorManager->setPostponedErrorMask(E_ALL); // ignore all errors $ErrorManager->setFatalHandler(new WikiFunctionCb('ExitWiki')); } else { $ErrorManager->setPostponedErrorMask(E_USER_NOTICE | E_NOTICE); } // Local Variables: // mode: php // tab-width: 8 // c-basic-offset: 4 // c-hanging-comment-ender-p: nil // indent-tabs-mode: nil // End: