- if ( (float)substr(PHP_VERSION , 0 , 3) < 4.1) {
- global $HTTP_SESSION_VARS;
- $HTTP_SESSION_VARS = array();
- }
- else {
- $_SESSION = array();
+ if (isset($_COOKIE[session_name()])) setcookie(session_name(), '', time() - 5, $base_uri);
+ if (isset($_COOKIE['username'])) setcookie('username','',time() - 5,$base_uri);
+ if (isset($_COOKIE['key'])) setcookie('key','',time() - 5,$base_uri);
+
+ $sessid = session_id();
+ if (!empty( $sessid )) {
+ if ( !check_php_version(4,1) ) {
+ global $HTTP_SESSION_VARS;
+ $HTTP_SESSION_VARS = array();
+ } else {
+ $_SESSION = array();
+ }
+ @session_destroy;