Fix to a bug preventing rss feeds from displaying.

diff --git a/lib/accesslib.php b/lib/accesslib.php
index bc1356d0bfd43de5021eff24276e974380708b56..13c371b698c873b357dae2cbeda4e39224176fae 100755 (executable)
--- a/lib/accesslib.php
+++ b/lib/accesslib.php
@@ -364,7 +364,12 @@ function has_capability($capability, $context, $userid=NULL, $doanything=true) {
 
     // Load dirty contexts list if needed
     if (!isset($DIRTYCONTEXTS)) {
-        $DIRTYCONTEXTS = get_dirty_contexts($USER->access['time']);
+        if (isset($USER->access['time'])) {
+            $DIRTYCONTEXTS = get_dirty_contexts($USER->access['time']);
+        }
+        else {
+            $DIRTYCONTEXTS = array();
+        }
     }
 
     // Careful check for staleness...