accesslib: mark_context_dirty() don't mark it there is no path

diff --git a/lib/accesslib.php b/lib/accesslib.php
index 7ff3b01fd97af48d438a3f5afae5bb166df81a31..344e80544498a1d6674f27a805d86c25ffed0a82 100755 (executable)
--- a/lib/accesslib.php
+++ b/lib/accesslib.php
@@ -4975,8 +4975,11 @@ function get_dirty_contexts($time) {
  *
  */
 function mark_context_dirty($path) {
-    // Trivial (for now?)
-    set_config($path, time(), 'accesslib/dirtycontexts');
+
+    // only if it is a non-empty string
+    if (is_string($path) && $path !== '') {
+        set_config($path, time(), 'accesslib/dirtycontexts');
+    }
 }
 
 /*