WebSocket: add path command-line argument for the server