James E. Blair 3f4a70d1a3 Don't automatically restart jenkins on plugin changes
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
2013-08-03 02:34:32 +00:00
..
2013-08-02 21:08:38 +00:00
2013-07-12 22:48:07 +00:00