| 
									
										
										
										
											2019-06-20 15:37:40 +08:00
										 |  |  | menu "Example Configuration" | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-10-15 17:27:47 +08:00
										 |  |  |     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 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-06-20 15:37:40 +08:00
										 |  |  |     config WEBSOCKET_URI | 
					
						
							|  |  |  |         string "Websocket endpoint URI" | 
					
						
							| 
									
										
										
										
											2019-10-15 17:27:47 +08:00
										 |  |  |         depends on WEBSOCKET_URI_FROM_STRING | 
					
						
							| 
									
										
										
										
											2022-01-19 11:52:55 +02:00
										 |  |  |         default "ws://echo.websocket.events" | 
					
						
							| 
									
										
										
										
											2019-06-20 15:37:40 +08:00
										 |  |  |         help | 
					
						
							|  |  |  |             URL of websocket endpoint this example connects to and sends echo | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | endmenu |