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";
