admin/roles: context-specific role changes mark the context as dirty

And will force a reload of $USER->access for logged-in users that need
to read _this_ context. Much lower impact - still not a great idea to
edit assignments/caps on very busy courses, but impact should be low.

diff --git a/admin/roles/assign.php b/admin/roles/assign.php
index aa62e9e0d7499e4e254bfc2ac11996e6a2f44d28..8088733a069597644c6a1bcc68a9e5843459afc6 100755 (executable)
--- a/admin/roles/assign.php
+++ b/admin/roles/assign.php
@@ -225,6 +225,8 @@
                     }
                 }
             }
+            // force accessinfo refresh for users visiting this context...
+            mark_context_dirty($context->path);
 
         } else if ($remove and !empty($frm->removeselect) and confirm_sesskey()) {
 
@@ -259,6 +261,8 @@
                     }
                 }
             }
+            // force accessinfo refresh for users visiting this context...
+            mark_context_dirty($context->path);
 
         } else if ($showall) {
             $searchtext = '';

diff --git a/admin/roles/override.php b/admin/roles/override.php
index 454e55f704bc8151aaa08f11e65cb1ef9ccbc8f3..e7938d8d3e44e831535805f38bff7678a1c36d1f 100755 (executable)
--- a/admin/roles/override.php
+++ b/admin/roles/override.php
@@ -112,6 +112,10 @@
                 }
             }
         }
+
+        // force accessinfo refresh for users visiting this context...
+        mark_context_dirty($context->path);
+
         redirect($baseurl);
     }