3f4a70d1a3
This way we can manually gracefully restart jenkins. Since this won't immediately install plugins, change the download test to check whether an hpi or jpi file exists. Change-Id: I41667684ad8a57f5ae554f866dcc38d5ecca6ba0 |
||
---|---|---|
.. | ||
cgroups.pp | ||
jenkinsuser.pp | ||
job_builder.pp | ||
master.pp | ||
params.pp | ||
plugin.pp | ||
slave.pp |