- speed up the whole session cleaning in kill_session()

alecpl

2009-05-13 27924acf437df92c4e6e88e79bd28a58e6ea4aaa

 program/include/rcmail.php

@@ -124,7 +124,7 @@

    // reset some session parameters when changing task
    if ($_SESSION['task'] != $this->task)
      unset($_SESSION['page']);
      rcube_sess_unset('page');

    // set current task to session
    $_SESSION['task'] = $this->task;
@@ -793,6 +793,7 @@
   */
  public function kill_session()
  {
    rcube_sess_unset();
    $_SESSION = array('language' => $this->user->language, 'auth_time' => time(), 'temp' => true);
    rcmail::setcookie('sessauth', '-del-', time() - 60);
    $this->user->reset();