remove unused restart_server function