new file:   script/check_and_restart_websocket_server.sh