Fix search box on Safari and make pages validate

thomascube

2008-09-19 a3f149eb5729ef1ba6d1c05b29fead1058f4c888

 program/include/session.inc

@@ -184,7 +184,8 @@
  $lifetime = $cookie['lifetime'] ? time() + $cookie['lifetime'] : 0;

  setcookie(session_name(), '', time() - 3600);
  setcookie(session_name(), $random, $lifetime, $cookie['path'], $cookie['domain']);
  setcookie(session_name(), $random, $lifetime, $cookie['path'], $cookie['domain'],
            $_SERVER['HTTPS'] && ($_SERVER['HTTPS']!='off'));

  return true;
}