public function tearDown () { contestDB::get_zend_db ()->closeConnection(); $datadir = get_file_name ("data/"); /* let's move our log file somewhere */ /* close the logger. */ Logger::flush (); $logfile = "$datadir/logs/" . posix_getuid () . ".log"; if (is_file ($logfile)) { $contents = file_get_contents ($logfile); file_put_contents ("logs/" . posix_getuid () . ".log", $contents, FILE_APPEND); } safeSystem ("fusermount -zu $datadir"); }
function shutdownHandler() { if ($this->debug && !empty($res)) { $res = $this->timer->getResult(); $str[] = '[time:'; foreach ($res as $time) { $str[] = ' ' . $time[0] . '=' . $time[1]; } $str[] = ']'; Logger::notice(implode('', $str) . ' status=' . $this->status); Logger::flush(); } $this->_clearDbOrCache(); $this->_end(); }
public function testMirroringInExternalBuffer() { $logFile = self::_createTempFile(); $logger = new Logger($logFile); $buffer = array(); $logger->setExternalBuffer($buffer); for ($i = 0; $i < 100; $i++) { $logger->log(self::_generateRandomText(mt_rand(64, 2048))); } $logger->flush(); $this->assertEquals($buffer, self::_getFileContentsAsArray($logFile)); }
<?php require_once '../autoload.php'; $u = User::findByPk(11); $u->delete(); var_dump(User::findByPk(11)); echo implode('<br>', Logger::flush());
/** * Process a submission by its submission ID * * @param $id string Submission id */ function start_process_submission($id) { $this->id = $id; $logger = Logger::get_logger(); $info = array("id" => $id); $res = SubmissionTable::set_state($id, SUBMISSION_STATE_RUNNING, SUBMISSION_STATE_WAITING); if (!$res) { $logger->log("Processing {$id} skipped, another process took charge.", Zend_Log::INFO); return true; } $logger->log("Processing {$id}", Zend_Log::INFO); exec(get_file_name("programs/submissions.php") . " {$id} 2>/dev/null", $output, $ret); if ($ret) { SubmissionTable::set_state($id, SUBMISSION_STATE_FATAL); $logger->alert("FATAL ERROR: Submission ID {$id} could not be run!"); $logger->log("exec: returned {$ret}", Zend_Log::ERR); $logger->log("Program returned: {$output}", Zend_Log::ERR); Logger::flush(); $info['state'] = 'fatal'; $agent = new HookAgent($id, $this->info); $agent->run_hooks(); return false; } $agent = new HookAgent($id, $this->info); $agent->run_hooks(); return true; }