fix pull-ws-server usage