Here's a quick example of how you might try to kill your sessions if you can't get session_destroy to work. Be sure to experiment thoroughly, and good luck!!
<pre>
function user_logout() {
// Simple example assuming that cookie sent to client is PHPSESSID (default)
// $session_user is a string representing a userid of a client user and was
// previously registered using session_register... but now it is time to logout
// here are various ideas to get around session_destroy
// 1. explicitly set $session_user to empty string and re-register
$session_user='';
session_register('session_user');
// 2. you can do this if session_unregister works for you
session_unregister('session_user');
// 3. try using session_unset() which should clear all session variables
session_unset();
// destroy the client cookie by calling setcookie with name argument only
setcookie("PHPSESSID");
}
</pre>
