plugins/admin/PluginManager.php
changeset 975 bff25c6113ae
parent 869 58bc29c14a4d
child 999 61d492c43e5f
equal deleted inserted replaced
974:6bfe9eb428e9 975:bff25c6113ae
   265               // perform update
   265               // perform update
   266               $q = $db->sql_query('UPDATE ' . table_prefix . "plugins SET plugin_flags = $flags_col WHERE plugin_id = {$dataset['plugin id']};");
   266               $q = $db->sql_query('UPDATE ' . table_prefix . "plugins SET plugin_flags = $flags_col WHERE plugin_id = {$dataset['plugin id']};");
   267               if ( !$q )
   267               if ( !$q )
   268                 $db->die_json();
   268                 $db->die_json();
   269               
   269               
       
   270               $cache->purge('plugins');
       
   271               
   270               $return = array(
   272               $return = array(
   271                 'success' => true
   273                 'success' => true
   272               );
   274               );
   273               break;
   275               break;
   274             case 'import':
   276             case 'import':