24 lines
629 B
Plaintext
Raw Normal View History

menu "Example Configuration"
choice WEBSOCKET_URI_SOURCE
prompt "Websocket URI source"
default WEBSOCKET_URI_FROM_STRING
help
Selects the source of the URI used in the example.
config WEBSOCKET_URI_FROM_STRING
bool "From string"
config WEBSOCKET_URI_FROM_STDIN
bool "From stdin"
endchoice
config WEBSOCKET_URI
string "Websocket endpoint URI"
depends on WEBSOCKET_URI_FROM_STRING
2019-10-04 12:14:05 +02:00
default "ws://echo.websocket.org"
help
URL of websocket endpoint this example connects to and sends echo
endmenu