Esempio n. 1
0
				</a>
			</div>
			<div class="collapse navbar-collapse" id="bs-example-navbar-collapse-9">
				<ul class="nav navbar-nav">
					<li><a href="problem.php">Problems</a></li>
					<li><a href="run.php">Runs</a></li>
					<li><a href="score.php">Score</a></li>
					<li><a href="clar.php">Clarifications</a></li>
					<li><a href="task.php">Tasks</a></li>
					<li><a href="files.php">Backups</a></li>
					<li><a href="option.php">Options</a></li>
					<li><a href="../index.php">Logout</a></li>
				</ul>
				<p class="navbar-text navbar-right">
					<?php 
list($clockstr, $clocktype) = siteclock();
?>
					<?php 
echo $clockstr;
?>
				</p>
				<p class="navbar-text navbar-right">
					<span class="glyphicon glyphicon-user" aria-hidden="true"></span> <?php 
echo $_SESSION["usertable"]["userfullname"];
?>
,
					Site=<?php 
echo $_SESSION["usertable"]["usersitenumber"];
?>
				</p>
			</div>
Esempio n. 2
0
function DBLogOut($contest, $site, $user, $isadmin = false)
{
    $c = DBConnect();
    $r = DBExec($c, "update usertable set usersession='',usersessionextra='', updatetime=" . time() . ", " . "userlastlogout=" . time() . " where usernumber={$user} and " . "contestnumber={$contest} and usersitenumber={$site}", "DBLogOut(update user)");
    if ($isadmin) {
        list($clockstr, $clocktime) = siteclock();
        if ($clocktime < -600) {
            DBExec($c, "update contesttable set contestunlockkey='' where contestnumber={$contest}", "DBLogOut(update contest)");
            DBExec($c, "update problemtable set problemfullname='', problembasefilename='' where problemfullname !~ '(DEL)' and contestnumber={$contest}", "DBLogOut(update problems)");
            $ds = DIRECTORY_SEPARATOR;
            if ($ds == "") {
                $ds = "/";
            }
            $dir = $_SESSION["locr"] . $ds . "private" . $ds . "problemtmp" . $ds;
            foreach (glob($dir . '*') as $file) {
                cleardir($file, false, true);
            }
        }
    }
    LOGLevel("User {$user} (contest={$contest},site={$site}) logged out.", 2);
}