2018-07-03 10:57:41 +00:00
|
|
|
menu "HTTP Server"
|
|
|
|
|
2019-01-25 16:10:53 +00:00
|
|
|
config HTTPD_MAX_REQ_HDR_LEN
|
|
|
|
int "Max HTTP Request Header Length"
|
|
|
|
default 512
|
|
|
|
help
|
|
|
|
This sets the maximum supported size of headers section in HTTP request packet to be processed by the
|
|
|
|
server
|
2018-07-03 10:57:41 +00:00
|
|
|
|
2019-01-25 16:10:53 +00:00
|
|
|
config HTTPD_MAX_URI_LEN
|
|
|
|
int "Max HTTP URI Length"
|
|
|
|
default 512
|
|
|
|
help
|
|
|
|
This sets the maximum supported size of HTTP request URI to be processed by the server
|
2018-07-03 10:57:41 +00:00
|
|
|
|
2019-02-01 12:17:41 +00:00
|
|
|
config HTTPD_ERR_RESP_NO_DELAY
|
|
|
|
bool "Use TCP_NODELAY socket option when sending HTTP error responses"
|
|
|
|
default y
|
|
|
|
help
|
|
|
|
Using TCP_NODEALY socket option ensures that HTTP error response reaches the client before the
|
|
|
|
underlying socket is closed. Please note that turning this off may cause multiple test failures
|
|
|
|
|
2019-05-06 07:36:40 +00:00
|
|
|
config HTTPD_PURGE_BUF_LEN
|
|
|
|
int "Length of temporary buffer for purging data"
|
|
|
|
default 32
|
|
|
|
help
|
|
|
|
This sets the size of the temporary buffer used to receive and discard any remaining data that is
|
|
|
|
received from the HTTP client in the request, but not processed as part of the server HTTP request
|
|
|
|
handler.
|
|
|
|
|
|
|
|
If the remaining data is larger than the available buffer size, the buffer will be filled in multiple
|
|
|
|
iterations. The buffer should be small enough to fit on the stack, but large enough to avoid excessive
|
|
|
|
iterations.
|
|
|
|
|
|
|
|
config HTTPD_LOG_PURGE_DATA
|
|
|
|
bool "Log purged content data at Debug level"
|
|
|
|
default n
|
|
|
|
help
|
|
|
|
Enabling this will log discarded binary HTTP request data at Debug level.
|
|
|
|
For large content data this may not be desirable as it will clutter the log.
|
|
|
|
|
2019-11-04 09:51:59 +00:00
|
|
|
config HTTPD_WS_SUPPORT
|
|
|
|
bool "WebSocket server support"
|
2020-03-11 09:03:12 +00:00
|
|
|
default n
|
2019-11-04 09:51:59 +00:00
|
|
|
help
|
|
|
|
This sets the WebSocket server support.
|
|
|
|
|
2018-07-03 10:57:41 +00:00
|
|
|
endmenu
|