This is a temporary workaround to fix the php 4.1 problem in saving

prefs. The real problem is that the prefs array doesn't makes its way
into the registration process in php 4.1, don't know yet why.

functions/prefs.php

@@ -12,7 +12,10 @@
  */
 
 global $prefs_are_cached, $prefs_cache;
-if (!session_is_registered('prefs_are_cached')) {
+
+if ( !session_is_registered('prefs_are_cached') ||
+     !isset( $prefs_cache) ||
+     !is_array( prefs_cache) ) {
     $prefs_are_cached = false;
     $prefs_cache = array();
 }