Thanks to Simon Dick for making the db_prefs work again\!

git-svn-id: https://svn.code.sf.net/p/squirrelmail/code/trunk/squirrelmail@2183 7612ce4b-ef26-0410-bec9-ea0150e637f0

diff --git a/functions/db_prefs.php b/functions/db_prefs.php
index 0817458e9fbc38dcc06fd9334a0264638d7f4e76..519f066ff2c1660fdab31704e872c6ebad60e1a7 100644 (file)
--- a/functions/db_prefs.php
+++ b/functions/db_prefs.php
@@ -39,7 +39,7 @@ global $prefs_are_cached, $prefs_cache;
 if ( !session_is_registered('prefs_are_cached') ||
      !isset( $prefs_cache) ||
      !is_array( $prefs_cache) ||
-     substr( phpversion(), 0, 3 ) == '4.1 ) {
+     substr( phpversion(), 0, 3 ) == '4.1' ) {
     $prefs_are_cached = false;
     $prefs_cache = array();
 }