$nrejudgings = count($updates['rejudgings']);
if ($nrejudgings > 0) {
?>
<a class="new" href="rejudgings.php" accesskey="r" id="menu_rejudgings"><span class="octicon octicon-sync"></span> rejudgings (<?php
echo $nrejudgings;
?>
active)</a>
<?php
} else {
?>
<a href="rejudgings.php" accesskey="r" id="menu_rejudgings"><span class="octicon octicon-sync"></span> rejudgings</a>
<?php
}
}
/* checkrole('jury') */
if (have_printing()) {
?>
<a href="print.php" accesskey="p"><span class="octicon octicon-file-text"></span> print</a>
<?php
}
if (checkrole('jury')) {
?>
<a href="scoreboard.php" accesskey="b"><span class="octicon octicon-list-ordered"></span> scoreboard</a>
<?php
}
if (checkrole('team')) {
echo "<a target=\"_top\" href=\"../team/\" accesskey=\"t\"><span class=\"octicon octicon-arrow-right\"></span> team</a>\n";
}
?>
</div>
<?php
/**
* Upload form for documents to be sent to the printer.
*
* Part of the DOMjudge Programming Contest Jury System and licenced
* under the GNU GPL. See README and COPYING for details.
*/
require 'init.php';
$title = 'Print';
require LIBWWWDIR . '/header.php';
echo "<h1>Print source</h1>\n\n";
if (!have_printing()) {
error("Printing disabled.");
}
// Seems reasonable to require that there's a contest running
// before allowing to submit printouts.
if (is_null($cid) || difftime($cdata['starttime'], now()) > 0) {
echo "<p class=\"nodata\">Contest has not yet started.</p>\n";
require LIBWWWDIR . '/footer.php';
exit;
}
if (isset($_POST['langid'])) {
handle_print_upload();
} else {
put_print_form();
}
require LIBWWWDIR . '/footer.php';