Once more, let's make sure the server restarts on push