Remove server_restart code--it's not used.