[jenkins] How to restart Jenkins manually?