menu "Example Configuration"
config WEBSOCKET_URI
string "Websocket endpoint URI"
default "ws://echo.websocket.org";
help
URL of websocket endpoint this example connects to and sends echo
endmenu