session::destroy() should call session_destroy() only if a session exists

2006-07-06 05:00:38 +00:00
parent 4706e36595
commit adeb1adbdc
1 changed files with 2 additions and 1 deletions
--- a/include/session.php
+++ b/include/session.php
@@ -54,7 +54,8 @@ class session
    // destroy session
    function destroy ()
    {
-        session_destroy();
+        if(session_id() != "")
+            session_destroy();
    }
    
    // open session file (not needed for DB access)