diff options
| -rw-r--r-- | etherpad/src/etherpad/admin/plugins.js | 4 | ||||
| -rw-r--r-- | etherpad/src/etherpad/control/admin/pluginmanager.js | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/etherpad/src/etherpad/admin/plugins.js b/etherpad/src/etherpad/admin/plugins.js index 41482fc..6fc21f3 100644 --- a/etherpad/src/etherpad/admin/plugins.js +++ b/etherpad/src/etherpad/admin/plugins.js @@ -175,8 +175,8 @@ function saveInstalledHooks(pluginName) { } -function loadPlugins() { - if (pluginsLoaded) return; +function loadPlugins(force) { + if (pluginsLoaded && force == undefined) return; pluginsLoaded = true; loadAvailablePlugins(); loadInstalledHooks(); diff --git a/etherpad/src/etherpad/control/admin/pluginmanager.js b/etherpad/src/etherpad/control/admin/pluginmanager.js index 3fb017c..e293592 100644 --- a/etherpad/src/etherpad/control/admin/pluginmanager.js +++ b/etherpad/src/etherpad/control/admin/pluginmanager.js @@ -37,6 +37,7 @@ function onRequest() { plugins.disablePlugin(request.params.plugin); } else if (request.params.action == 'reinstall') { plugins.disablePlugin(request.params.plugin); + plugins.loadPlugins(1); plugins.enablePlugin(request.params.plugin); } |