From be5fabb0e5b375c729f50329633ebccd863be3c1 Mon Sep 17 00:00:00 2001
From: Matthias Vogel <git@kanti.de>
Date: Wed, 9 Jul 2014 20:07:08 +0200
Subject: [PATCH] session_destroy not useful, because every request
 session_start is called

---
 system/admin/views/logout.html.php | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/system/admin/views/logout.html.php b/system/admin/views/logout.html.php
index c4488da..314be7f 100644
--- a/system/admin/views/logout.html.php
+++ b/system/admin/views/logout.html.php
@@ -1,10 +1,6 @@
 <?php
 
 unset($_SESSION[config("site.url")]);
-if(empty($_SESSION))
-{
-	session_destroy();
-}
 
 header('location: login');