tree d0f6ffe84689a678cdaee935464702fe37821bd4
parent 60607b08383cf297e6df7d13f3fec2ae6d4e750b
author Luca Milanesio <luca.milanesio@gmail.com> 1532043527 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1532043572 +0100

ScalaPluginProvider: Adjust to new constructor of ServerPlugin

The constructor requires the plugin metrics prefix and the gerrit
runtime environment.

Change-Id: Ie20c55d11ce17b379a99311af62a11b7bc97405c