commit 878ca5fa74942e2c07c0bbd237d40a7e5c5f3323
author Luca Milanesio <luca.milanesio@gmail.com> Fri May 13 17:08:52 2016 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> Thu May 19 13:25:15 2016 +0000
tree 30d4f30ed0b83f3eed1961f040492a78ba9e0cdc
parent e1cb31d0218867d8d2a9ac4f6d68d0affe517a6e

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

BUCK

diff --git a/BUCK b/BUCK
index 51378d9..cb7c8ca 100644
--- a/BUCK
+++ b/BUCK
@@ -9,6 +9,7 @@
     'Gerrit-ApiType: plugin',
     'Gerrit-HttpModule: com.googlesource.gerrit.plugins.manager.WebModule',
     'Gerrit-Module: com.googlesource.gerrit.plugins.manager.Module',
+    'Gerrit-ReloadMode: restart',
     'Implementation-Title: Plugin manager',
     'Implementation-URL: https://gerrit-review.googlesource.com/#/admin/projects/plugins/plugin-manager',
   ],