Probably Redundant.
Honestly just pushing a change to see if it restarts the server while its crashed. Worth a shot I guess.