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