changed restart_server