diff options
Diffstat (limited to 'examples/server/logout.php')
| -rw-r--r-- | examples/server/logout.php | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/examples/server/logout.php b/examples/server/logout.php deleted file mode 100644 index 1ff893c..0000000 --- a/examples/server/logout.php +++ /dev/null @@ -1,12 +0,0 @@ -<?php - -require_once "common.php"; - -// Set up the current session -init(); - -setLoggedInUser(null); -unset($_SESSION['request']); -redirect($server_url); - -?>
\ No newline at end of file |