2024-10-10

web/session.php

@@ -0,0 +1,18 @@
+<?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>