Added command line switch for WebSocket listening port