while ($i < $n1 && ($k >= $l || $tokens1[$i] != $lcs[$k])) { $diff .= "<del>" . specialchars($tokens1[$i]) . "</del> "; $i++; } while ($j < $n2 && ($k >= $l || $tokens2[$j] != $lcs[$k])) { $diff .= "<ins>" . specialchars($tokens2[$j]) . "</ins> "; $j++; } if ($cutoff < sizeof($tokens1) || $cutoff < sizeof($tokens2)) { $diff .= "[cut off rest of line...]"; } $diff .= "\n"; return array(TRUE, $diff); } require 'init.php'; $id = getRequestID(); if (!empty($_GET['jid'])) { $jid = (int) $_GET['jid']; } if (!empty($_GET['rejudgingid'])) { $rejudgingid = (int) $_GET['rejudgingid']; } // Also check for $id in claim POST variable as submissions.php cannot // send the submission ID as a separate variable. if (is_array(@$_POST['claim'])) { foreach ($_POST['claim'] as $key => $val) { $id = (int) $key; } } if (is_array(@$_POST['unclaim'])) { foreach ($_POST['unclaim'] as $key => $val) {
<?php /** * View judgehost details * * Part of the DOMjudge Programming Contest Jury System and licenced * under the GNU GPL. See README and COPYING for details. */ require 'init.php'; $id = getRequestID(FALSE); if (empty($id)) { error("Missing judge hostname"); } $refresh = '15;url=judgehost.php?id=' . urlencode($id); if (isset($_REQUEST['cmd']) && ($_REQUEST['cmd'] == 'activate' || $_REQUEST['cmd'] == 'deactivate')) { requireAdmin(); $DB->q('UPDATE judgehost SET active = %i WHERE hostname = %s', $_REQUEST['cmd'] == 'activate' ? 1 : 0, $id); auditlog('judgehost', $id, 'marked ' . ($_REQUEST['cmd'] == 'activate' ? 'active' : 'inactive')); // the request came from the overview page if (isset($_GET['cmd'])) { header("Location: judgehosts.php"); exit; } } $row = $DB->q('TUPLE SELECT judgehost.*, r.name AS restrictionname FROM judgehost LEFT JOIN judgehost_restriction r USING (restrictionid) WHERE hostname = %s', $id); $title = 'Judgehost ' . htmlspecialchars($row['hostname']); require LIBWWWDIR . '/header.php'; echo "<h1>Judgehost " . printhost($row['hostname']) . "</h1>\n\n";