[dev] Problem with prefcaching + patch

[Jan Kuipers]

The attached patch solves my problem
(http://marc.theaimsgroup.com/?l=kronolith&m=106407723613840&w=2)
This may not be the right way to solve this ;) but it workes for me

--
Jan Kuipers
Systeembeheer Lauwers College
-------------- next part --------------
Index: Prefs.php
===================================================================
RCS file: /repository/horde/lib/Prefs.php,v
retrieving revision 1.117
diff -u -r1.117 Prefs.php
--- Prefs.php	16 Sep 2003 03:54:30 -0000	1.117
+++ Prefs.php	20 Sep 2003 21:07:14 -0000
@@ -174,7 +174,7 @@
 
         if (isset($_SESSION['prefs_cache'])) {
             /* Restore global preferences. */
-            if (isset($_SESSION['prefs_cache']['horde'])) {
+            if (isset($_SESSION['prefs_cache']['horde']) && isset($_SESSION['prefs_cache']['_filled'][$this->_scope])) {
                 foreach ($_SESSION['prefs_cache']['horde'] as $name => $pref) {
                     $this->_prefs[$name] = $pref;
                 }