Browse files

MDL-39087 Purge all caches at the end of uninstall_plugin()

This is necessary now as many plugins management related features
started to use MUC intensively recently. During the development of this
issue, we realized that the plugin was still considered as installed if
caches were not purged.
  • Loading branch information...
1 parent 436d944 commit 5718a123132c4525a2c0de84c0a41ac723dd1064 @mudrd8mz mudrd8mz committed Apr 10, 2013
Showing with 3 additions and 0 deletions.
  1. +3 −0 lib/adminlib.php
@@ -321,6 +321,9 @@ function uninstall_plugin($type, $name) {
// remove event handlers and dequeue pending events
+ // Finally purge all caches.
+ purge_all_caches();
echo $OUTPUT->notification(get_string('success'), 'notifysuccess');

0 comments on commit 5718a12

Please sign in to comment.