Merge branch 'MDL-29895' of https://github.com/enovation/moodle

[moodle.git] / admin / roles / manage.php

diff --git a/admin/roles/manage.php b/admin/roles/manage.php
index e32f398..9da57eb 100644 (file)
--- a/admin/roles/manage.php
+++ b/admin/roles/manage.php
@@ -84,12 +84,10 @@ switch ($action) {
             die;
         }
         if (!delete_role($roleid)) {
-            // The delete failed, but mark the context dirty in case.
-            $systemcontext->mark_dirty();
+            // The delete failed.
             print_error('cannotdeleterolewithid', 'error', $baseurl, $roleid);
         }
         // Deleted a role sitewide...
-        $systemcontext->mark_dirty();
         redirect($baseurl);
         break;