revert bad modification of server restart