Files
hustoj/web/session.php
2024-10-10 12:56:56 +08:00

19 lines
652 B
PHP

<?php
require_once(dirname(__FILE__)."/include/db_info.inc.php");
if(isset($_SESSION[$OJ_NAME."_user_id"])){
$user_id=$_SESSION[$OJ_NAME."_user_id"];
$defunct=pdo_query("select defunct from users where user_id=?",$user_id);
if(!empty($defunct)&&$defunct[0][0]=="Y"){
unset($_SESSION[$OJ_NAME.'_'.'user_id']);
setcookie($OJ_NAME."_user","");
setcookie($OJ_NAME."_check","");
session_destroy();
?>
<script>window.top.location.href="index.php";</script>
<?php
}
}
?>
<script>window.setTimeout('window.location.reload();',300000);</script>