tree 15a618a1602f0dd0d055ab7bfdd9c41b9256b8a1
parent cae842ec6b578c00843f4114053c4e60bc7de78c
author Saša Živkov <sasa.zivkov@sap.com> 1557755245 +0200
committer Marco Miller <marco.mmiller@gmail.com> 1558276235 +0000

Do not allow restart of mandatory plugins

There are two plugin reload methods: restart and reload.

The "restart" method first completely stops the old plugin and then the
new plugin is started. There is a brief window where neither the old nor
the new plugin is connected to the server. Therefore, we cannot allow
the "restart" mode for a mandatory plugin.

Change-Id: Ifba5237989f82300cc0dad27eab3af0e6b4a5da9