On Mon, Oct 8, 2012 at 2:54 AM, Luca Milanesio <
luca.mi...@gmail.com> wrote:
> I have experienced many many many (repeated at least 20-30 times) plug-in jar files copied with different time-stamps into $GERRIT_SITE/tmp.
> I know this is explicitly done by the PluginLoader for avoiding the JVM to crash when plugin is "hot" updated and then reloaded.
>
> Does anybody have proposals / ideas / suggestions on how to remove them automatically ?
Hmm. I thought we removed them automatically when the plugin was
gracefully stopped by a graceful Gerrit shutdown. But maybe this isn't
true?
We should be able to prune this directory at server startup. Its
supposed to be unique to the site and thus also to the running Gerrit
process. If this Gerrit starts successfully by binding to the ports in
the gerrit.config, no other Gerrit is (probably) running, so we can
prune out any unused JARs.