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

10 lines
230 B
PHP

<?php
include("./include/db_info.inc.php");
session_start();
unset($_SESSION[$OJ_NAME.'_'.'user_id']);
setcookie($OJ_NAME."_user","");
setcookie($OJ_NAME."_check","");
session_destroy();
header("Location:index.php");
?>