PHP MDL_Judge_Single::rejudgeProblem Exemples

Exemple #1

Fichier : record.php Projet : thezawad/vakuum

 public function ACT_rejudge()
 {
     $record_id = $this->path_option->getVar('record_id');
     if ($record_id !== false) {
         $record = new MDL_Record($record_id);
         if (!$record->judgeStopped()) {
             throw new MDL_Exception_Judge(MDL_Exception_Judge::ALREADY_RUNNING);
         }
         MDL_Judge_Single::rejudgeSingle($record_id);
         $this->locator->redirect('record_detail', array(), '/' . $record_id);
     }
     $prob_id = $this->path_option->getVar('prob_id');
     if ($prob_id !== false) {
         MDL_Judge_Single::rejudgeProblem(new MDL_Problem($prob_id));
         $this->locator->redirect('admin_problem_list');
     }
 }