From 185874d23f216ee8e1d0dd485fbfec488715e861 Mon Sep 17 00:00:00 2001 From: Marijn Jansen Date: Wed, 25 Jan 2017 12:06:13 +0100 Subject: [PATCH] Cleanup at logout.php --- website/public/logout.php | 17 +++-------------- 1 file changed, 3 insertions(+), 14 deletions(-) diff --git a/website/public/logout.php b/website/public/logout.php index 6a2ba5d..de4d7c2 100644 --- a/website/public/logout.php +++ b/website/public/logout.php @@ -1,15 +1,4 @@ - - - - - - +session_start(); +session_destroy(); +header("Location: login.php"); \ No newline at end of file