| Sun, 20 Aug 2017 20:05:36 +0200 | wenzelm | proper update of options (amending c3d6dd17d626); | changeset | files |
| Sun, 20 Aug 2017 18:45:42 +0200 | wenzelm | more robust plugin restart; | changeset | files |
| Sun, 20 Aug 2017 18:30:20 +0200 | wenzelm | more robust shutdown, e.g. when plugin is stopped; | changeset | files |
| Sun, 20 Aug 2017 14:03:23 +0200 | wenzelm | separate base plugin for important services that should be always available, despite startup errors of the main plugin; | changeset | files |