From ca805dffe07680253a573fe16ff488d04c2298fc Mon Sep 17 00:00:00 2001
From: Joey Schulze <joey@infodrom.org>
Date: Fri, 26 Feb 2010 23:37:06 +0100
Subject: [PATCH] Handle logout

---
 lib/general.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lib/general.php b/lib/general.php
index 6216e34..524be12 100644
--- a/lib/general.php
+++ b/lib/general.php
@@ -7,6 +7,12 @@ function passwd($login,$pass)
 
 function check_session()
 {
+  if (!empty($_SESSION['sys']['login']) && !empty($_GET['logout'])) {
+    session_destroy();
+    header('Location: ./?login=true');
+    exit();
+  }
+
   if (!empty($_POST['login']) && !empty($_POST['passwd'])) {
     require_once('lib/login.php');
     if (check_passwd()) {
-- 
2.20.1