- global $base_uri;
-
- if ( (float)substr(PHP_VERSION , 0 , 3) < 4.1) {
- global $HTTP_SESSION_VARS;
- $HTTP_SESSION_VARS = array();
- }
- else {
- $_SESSION = array();
- }
-
- /*
- * now reset cookies to 5 seconds ago to delete from browser
- */
-
- @session_destroy();
- $cookie_params = session_get_cookie_params();
- setcookie(session_name(), '', time() - 5, $cookie_params['path'],
- $cookie_params['domain']);
- setcookie('username', '', time() - 5, $base_uri);
- setcookie('key', '', time() - 5 , $base_uri);
-
+ global $base_uri;
+
+ /* start session to be able to destroy it later */
+ session_start();
+
+ if ( (float)substr(PHP_VERSION , 0 , 3) < 4.1) {
+ global $HTTP_SESSION_VARS;
+ $HTTP_SESSION_VARS = array();
+ }
+ else {
+ $_SESSION = array();
+ }
+
+ /*
+ * now reset cookies to 5 seconds ago to delete from browser
+ */
+
+ @session_destroy();
+ $cookie_params = session_get_cookie_params();
+ setcookie(session_name(), '', time() - 5, $cookie_params['path'],
+ $cookie_params['domain']);
+ setcookie('username', '', time() - 5, $base_uri);
+ setcookie('key', '', time() - 5 , $base_uri);