72:ff7f7b47d699 | 74:cba50f7529d0 |
---|---|
2 menu "WebSocket Server" | 2 menu "WebSocket Server" |
3 | 3 |
4 config WEBSOCKET_SERVER_MAX_CLIENTS | 4 config WEBSOCKET_SERVER_MAX_CLIENTS |
5 int "Max clients" | 5 int "Max clients" |
6 range 1 1000 | 6 range 1 1000 |
7 default 20 | 7 default 10 |
8 help | 8 help |
9 Maximum number of clients that the WebSocket | 9 Maximum number of clients that the WebSocket |
10 server can handle at a time. | 10 server can handle at a time. |
11 | 11 |
12 config WEBSOCKET_SERVER_QUEUE_SIZE | 12 config WEBSOCKET_SERVER_QUEUE_SIZE |
27 read queue. | 27 read queue. |
28 | 28 |
29 config WEBSOCKET_SERVER_TASK_STACK_DEPTH | 29 config WEBSOCKET_SERVER_TASK_STACK_DEPTH |
30 int "Stack depth" | 30 int "Stack depth" |
31 range 3000 20000 | 31 range 3000 20000 |
32 default 6000 | 32 default 7000 |
33 help | 33 help |
34 Stack depth for the WebSocket server. The task | 34 Stack depth for the WebSocket server. The task |
35 handles reads. | 35 handles reads. |
36 | 36 |
37 config WEBSOCKET_SERVER_TASK_PRIORITY | 37 config WEBSOCKET_SERVER_TASK_PRIORITY |