From e7c8160b6f909e53f692772db817f32565f00dd1 Mon Sep 17 00:00:00 2001
From: martinlanghoff <martinlanghoff>
Date: Wed, 19 Sep 2007 07:17:34 +0000
Subject: [PATCH] accesslib: delete_context() now appropriately marks the
 context dirty.

---
 lib/accesslib.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/accesslib.php b/lib/accesslib.php
index bb5fe53851..2352c41cb6 100755
--- a/lib/accesslib.php
+++ b/lib/accesslib.php
@@ -2248,6 +2248,7 @@ function create_system_context() {
 function delete_context($contextlevel, $instanceid) {
     if ($context = get_context_instance($contextlevel, $instanceid)) {
         delete_records('context_rel', 'c2', $context->id); // might not be a parent
+        mark_context_dirty($context->path);
         return delete_records('context', 'id', $context->id) &&
                delete_records('role_assignments', 'contextid', $context->id) &&
                delete_records('role_capabilities', 'contextid', $context->id) &&
-- 
2.39.5