Beispiel #1
0
         echo Ht::form($Info->hoturl_post("pset", array("saverunsettings" => 1, "ajax" => 1))), '<div class="f-contain"><div id="runsettings61"></div></div></form>', "\n";
         // XXX always using grading commit's settings?
         if ($runsettings = $Info->commit_info("runsettings")) {
             echo '<script>runsetting61.load(', json_encode($runsettings), ')</script>';
         }
     }
     Ht::stash_script("jQuery('button.runner61').prop('disabled',false)");
 }
 // print current grader
 echo_grader();
 // print grade entries
 echo_all_grades();
 // collect diff and sort line notes
 $all_linenotes = $Info->can_see_comments ? $Info->commit_info("linenotes") : null;
 $lnorder = new LinenotesOrder($all_linenotes, $Info->can_see_grades);
 $diff = $User->repo_diff($Info->repo, $Info->commit_hash(), $Pset, array("wdiff" => $WDIFF, "needfiles" => $lnorder->note_files()));
 $lnorder->set_diff($diff);
 // print line notes
 $notelinks = array();
 foreach ($lnorder->seq() as $fl) {
     $f = str_starts_with($fl[0], $Pset->directory_slash) ? substr($fl[0], strlen($Pset->directory_slash)) : $fl[0];
     $notelinks[] = '<a href="#L' . $fl[1] . '_' . html_id_encode($fl[0]) . '" onclick="return gotoline61(this)" class="noteref61' . (!$fl[2] && !$Info->user_can_see_grades ? " hiddennote61" : "") . '">' . htmlspecialchars($f) . ':' . substr($fl[1], 1) . '</a>';
 }
 if (count($notelinks)) {
     ContactView::echo_group("notes", join(", ", $notelinks));
 }
 // print runners
 $crunners = $Info->commit_info("run");
 $runclasses = [];
 foreach ($Pset->runners as $r) {
     if (!$Me->can_view_run($Pset, $r, $User) || isset($runclasses[$r->runclass])) {