add some session handling-related improvements

1 files changed, 6 insertions, 0 deletions

diff --git a/logout.php b/logout.php
index e4d40ed..06fe527 100644
--- a/logout.php
+++ b/logout.php
@@ -4,6 +4,12 @@
 
 	session_destroy();
 
+	if (isset($_COOKIE[session_name()])) {
+	   setcookie(session_name(), '', time()-42000, '/');
+	}
+
+	session_commit();
+
 	header("Location: login.php");
 
 ?>