Rebooting jenkins anyhow