--- session.inc?rev=1.14	2005-04-02 02:15:39.000000000 +0200
+++ session.inc	2005-04-02 17:34:21.000000000 +0200
@@ -8,6 +8,14 @@
 
 session_set_save_handler("sess_open", "sess_close", "sess_read", "sess_write", "sess_destroy", "sess_gc");
 session_start();
+if (!array_key_exists('HTTP_USER_AGENT', $_SESSION)) {
+  $_SESSION['HTTP_USER_AGENT'] = $_SERVER['HTTP_USER_AGENT'];
+}
+if ($_SESSION['HTTP_USER_AGENT'] != $_SERVER['HTTP_USER_AGENT']) {
+  session_destroy();
+  session_set_save_handler("sess_open", "sess_close", "sess_read", "sess_write", "sess_destroy", "sess_gc");
+  session_start();
+}
 
 /*** Session functions *****************************************************/