</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>
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); }