diff --git a/website_code/php/logout.php b/website_code/php/logout.php index 34dc1e19c7..d895f8c0a9 100644 --- a/website_code/php/logout.php +++ b/website_code/php/logout.php @@ -1,19 +1,15 @@ - \ No newline at end of file +session_destroy();