plugins/admin/PluginManager.php
changeset 975 bff25c6113ae
parent 869 58bc29c14a4d
child 999 61d492c43e5f
--- a/plugins/admin/PluginManager.php	Wed May 13 09:47:59 2009 -0400
+++ b/plugins/admin/PluginManager.php	Wed May 13 09:48:59 2009 -0400
@@ -267,6 +267,8 @@
               if ( !$q )
                 $db->die_json();
               
+              $cache->purge('plugins');
+              
               $return = array(
                 'success' => true
               );