fix run_server