10 lines
238 B
Text
10 lines
238 B
Text
|
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
|