static function require_admin()
{
$user = Authentication::require_user();
if (!$user->is_admin) {
ErrorPage::die_fancy(new NotAuthorizedException());
}
return $user;
}
function __construct()
{
// find active entity
$user = Authentication::require_user();
$this->entity = Entity::get(@$_SERVER['PATH_INFO'], !$user->is_admin);
// Redjudge all
if (isset($_REQUEST['rejudge_all']) and Authentication::is_admin()) {
Log::info("Requested redjudgement for all submissions in this entity", $this->entity->path());
foreach ($this->entity->all_submissions() as $subm) {
$subm->rejudge();
}
Util::redirect(str_replace('rejudge_all=1', '', $_SERVER['REQUEST_URI']));
}
}
function __construct()
{
$this->user = Authentication::require_user();
}
<?php
require_once '../lib/bootstrap.inc';
// -----------------------------------------------------------------------------
// Add group user and redirect
// -----------------------------------------------------------------------------
Authentication::require_user();
if (isset($_REQUEST['add'])) {
UserGroup::add_id(intval($_REQUEST['add']));
Util::redirect(@$_REQUEST['redirect']);
}
// -----------------------------------------------------------------------------
// Page for picking user
// -----------------------------------------------------------------------------
class View extends Template
{
function title()
{
return "Add user to group";
}
function write_user_list()
{
$this->write_block_begin('User list');
$this->write_form_begin('user_group_add.php', 'get');
$this->write_form_preserve('redirect');
echo '<label>Search for users: ';
$this->write_form_field('text', 'user_filter', @$_REQUEST['user_filter']);
echo '</label>';
$this->write_form_end('Show');
echo '<small>Make sure your lab partner has logged in with Justitia at least once.</small>';
if (!isset($_REQUEST['user_filter'])) {
