GATE
|
Public Attributes | |
gate_httpserver_t | server |
gate_httpserver_host_id_t | hosts [64] |
gate_size_t | hosts_usesd |
gate_httpserver_filehandler_config_t | file_handlers [16] |
gate_size_t | file_handlers_used |
gate_httpserver_filehandler_config_t | service_handlers [16] |
gate_size_t | service_handlers_used |
webserver_config_t | config |