[PATCH][Wok 0/5] Basic support to enable/disable plugins

V1: This is initial basic version of Plugins Manager. Features: - Improve plugins load and initialization; - New API to enable/disable a given plugin; - Update plugin configuration file; - Fix UI in order make Wok work as usual; ToDos (improvements): - Implement automated test cases; - Update (enable/disable) plugin in cherrypy (live); - Support to plugins dependencies; Rodrigo Trujillo (5): Adapt Wok UI to new Plugins API returns Creates pluginmanager.py module Changes server behavior to use pluginsmanager Implements control/model of new plugin API Change plugins API documentation by pluginsmanager API docs/API/plugins.md | 13 ----- docs/API/pluginsmanager.md | 61 +++++++++++++++++++++ src/wok/control/plugins.py | 19 ++++++- src/wok/i18n.py | 3 + src/wok/model/plugins.py | 30 ++++++++-- src/wok/pluginsmanager.py | 133 +++++++++++++++++++++++++++++++++++++++++++++ src/wok/server.py | 32 ++++++----- src/wok/utils.py | 36 +----------- ui/js/src/wok.api.js | 2 +- ui/js/src/wok.logos.js | 10 +++- ui/js/src/wok.main.js | 8 ++- ui/js/wok.user-log.js | 3 +- 12 files changed, 273 insertions(+), 77 deletions(-) delete mode 100644 docs/API/plugins.md create mode 100644 docs/API/pluginsmanager.md create mode 100644 src/wok/pluginsmanager.py -- 2.1.0
participants (1)
-
Rodrigo Trujillo