diff options
Diffstat (limited to 'src/index.php')
| -rw-r--r-- | src/index.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/index.php b/src/index.php index aa57534..7b162bd 100644 --- a/src/index.php +++ b/src/index.php @@ -34,9 +34,9 @@ require_once("db.php"); if (!isset($_GET["name"])) { if (ValidSession()) - DBLogOut($_SESSION["usertable"]["contestnumber"], - $_SESSION["usertable"]["usersitenumber"], $_SESSION["usertable"]["usernumber"], - $_SESSION["usertable"]["username"]=='admin'); + DBLogOut($_SESSION["usertable"]["contestnumber"], + $_SESSION["usertable"]["usersitenumber"], $_SESSION["usertable"]["usernumber"], + $_SESSION["usertable"]["username"]=='admin'); session_unset(); session_destroy(); session_start(); |