PHP JudgeDaemon::cleanupの例

コード例 #1

ファイル: admin_judge_daemons.php プロジェクト: jlsa/justitia

 function write_body()
 {
     // TODO: filters?
     $this->write_messages('judge');
     JudgeDaemon::cleanup();
     $this->write_judges(JudgeDaemon::all());
 }