var websocket__server_8h =
[
    [ "WebSocket_Server", "class_web_socket___server.html", "class_web_socket___server" ],
    [ "FLUSHTIMEOUT", "websocket__server_8h.html#a4731ef512b433abe9b4c9e709c214ace", null ],
    [ "RXBUFFERSIZE", "websocket__server_8h.html#a29d12c67e4b6e0ff96d7aa793757b094", null ],
    [ "TXBUFFERSIZE", "websocket__server_8h.html#a8c651ff98c42106f3a14ee4225677cc8", null ],
    [ "websocket_terminal_server", "websocket__server_8h.html#a29d7b81ffbf494bef178e3f94376fddb", null ]
];