tree 30d4f30ed0b83f3eed1961f040492a78ba9e0cdc
parent e1cb31d0218867d8d2a9ac4f6d68d0affe517a6e
author Luca Milanesio <luca.milanesio@gmail.com> 1463155732 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1463664315 +0000

Use restart ReloadMode to support metrics reload

Without the explicit ReloadMode in the plugin manifest, Gerrit assumes
'reload' and does not correctly manage the metrics registration.

For this plugin the restart mode is good enough: no need to risk
the reload mode and incur into the metrics problem.

Change-Id: I38ac8864be96bbfcb9f8f052f398cae570e86c06