Merge branch 'marijn-settings' into 'master'

Cleanup at logout.php See merge request !117
2017-01-25 12:30:20 +01:00
parent 727d418c8d 185874d23f
commit 7f755bfd2c
1 changed files with 3 additions and 14 deletions
--- a/website/public/logout.php
+++ b/website/public/logout.php
@@ -1,15 +1,4 @@
-<!DOCTYPE html>
-<html>
 <?php
-    include("../views/login_head.php");
-    require_once("../queries/connect.php");
-    include_once("../queries/login.php");
-?>
-<body>
-<?php
-    session_start();
-    unset($_SESSION["userID"]);
-    header("Location: login.php");
-?>
-</body>
-</html>
+session_start();
+session_destroy();
+header("Location: login.php");