diff options
Diffstat (limited to 'pages/logout.inc')
| -rw-r--r-- | pages/logout.inc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/pages/logout.inc b/pages/logout.inc new file mode 100644 index 0000000..0263278 --- /dev/null +++ b/pages/logout.inc @@ -0,0 +1,15 @@ +<?php + +if (isset($_COOKIE['PEH2_SESSION_TOKEN'])) { + if (file_exists($_SERVER['DOCUMENT_ROOT'] . "/includes/tokens/" . str_replace(".", "", str_replace("/", "", $_COOKIE['PEH2_SESSION_TOKEN'])))) { + unlink($_SERVER['DOCUMENT_ROOT'] . "/includes/tokens/" . str_replace(".", "", str_replace("/", "", $_COOKIE['PEH2_SESSION_TOKEN']))); + } +} + +if (isset($_COOKIE['PEH2_USER_TOKEN'])) { + if (file_exists($_SERVER['DOCUMENT_ROOT'] . "/includes/tokens-public/" . str_replace(".", "", str_replace("/", "", $_COOKIE['PEH2_USER_TOKEN'])))) { + unlink($_SERVER['DOCUMENT_ROOT'] . "/includes/tokens-public/" . str_replace(".", "", str_replace("/", "", $_COOKIE['PEH2_USER_TOKEN']))); + } +} + +header("Location: /") and die();
\ No newline at end of file |