|
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 |