Re: [Engine-devel] Recommended mechanism to restart Jenkins