From e6560e39d712d7e7882284ff280f7b9a80cfe49d Mon Sep 17 00:00:00 2001
From: martinlanghoff <martinlanghoff>
Date: Wed, 19 Sep 2007 07:10:52 +0000
Subject: [PATCH] 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.
---
 admin/roles/assign.php   | 4 ++++
 admin/roles/override.php | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/admin/roles/assign.php b/admin/roles/assign.php
index aa62e9e0d7..8088733a06 100755
--- 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 454e55f704..e7938d8d3e 100755
--- 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);
     }
 
-- 
2.39.5