Thu, 01 Nov 2018 16:54:03 +0100
Updated the README
0 | 1 | |
2 | menu "WebSocket Server" | |
3 | ||
4 | config WEBSOCKET_SERVER_MAX_CLIENTS | |
5 | int "Max clients" | |
6 | range 1 1000 | |
7 | default 20 | |
8 | help | |
9 | Maximum number of clients that the WebSocket | |
10 | server can handle at a time. | |
11 | ||
12 | config WEBSOCKET_SERVER_QUEUE_SIZE | |
13 | int "Queue read size" | |
14 | range 1 100 | |
15 | default 10 | |
16 | help | |
17 | Size of the queue to deal with incoming | |
18 | WebSocket messages. The queue holds the | |
19 | connection, not the actual message. | |
20 | ||
21 | config WEBSOCKET_SERVER_QUEUE_TIMEOUT | |
22 | int "Queue timeout" | |
23 | range 0 10000 | |
24 | default 30 | |
25 | help | |
26 | Timeout for adding new connections to the | |
27 | read queue. | |
28 | ||
29 | config WEBSOCKET_SERVER_TASK_STACK_DEPTH | |
30 | int "Stack depth" | |
31 | range 3000 20000 | |
32 | default 6000 | |
33 | help | |
34 | Stack depth for the WebSocket server. The task | |
35 | handles reads. | |
36 | ||
37 | config WEBSOCKET_SERVER_TASK_PRIORITY | |
38 | int "Priority" | |
39 | range 1 20 | |
40 | default 5 | |
41 | help | |
42 | Priority for the WebSocket server. The task | |
43 | handles reads. | |
44 | ||
45 | ||
46 | endmenu |