PHP JudgeDaemon::cleanup Examples

Example #1

File: admin_judge_daemons.php Project: jlsa/justitia

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