static function logout()
{
Authentication::session_start();
session_unset();
session_destroy();
setcookie("Justitia", "", time() - 3600, "/");
}
function write()
{
Authentication::session_start();
// we need the current user later
$base = htmlspecialchars(Util::base_url());
$title = htmlspecialchars($this->title());
header('Content-Type: text/html; charset=UTF-8');
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<title><?php
echo $title;
?>
- <?php
echo $this->app_name();
?>
</title>
<link rel="stylesheet" type="text/css" href="<?php
echo $base;
?>
style/style.css">
<link rel="stylesheet" type="text/css" href="<?php
echo $base;
?>
style/jquery.autocomplete.css">
<link rel="shortcut icon" href="<?php
echo $base;
?>
style/favicon.png">
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.3.2/jquery.min.js"></script>
<script type="text/javascript" src="<?php
echo $base;
?>
style/jquery.autocomplete.js"></script>
<script type="text/javascript" src="<?php
echo $base;
?>
style/script.js"></script>
<base href="<?php
echo $base;
?>
">
</head>
<body<?php
if ($this->is_admin_page) {
echo ' class="admin"';
}
?>
>
<div id="header">
<div id="appname"><?php
echo $this->app_name();
?>
, <small>Programming Judge</small></div>
<?php
$this->write_user_header();
?>
</div>
<div id="tabbar">
<?php
$this->write_tabbar();
?>
</div>
<div id="nav-wrap">
<?php
$this->write_nav();
?>
</div>
<div id="main">
<h1><?php
echo $title;
?>
</h1>
<?php
$this->write_rejudge_all();
?>
<?php
$this->write_body();
?>
</div>
</body>
</html>
<?php
}
private static function start_session()
{
Authentication::session_start();
if (!isset($_SESSION['usergroup'])) {
// not set, initialize
$_SESSION['usergroup'] = array();
}
}
