var websocket__server_8cpp =
[
    [ "handle_Websocket_Server_Event", "websocket__server_8cpp.html#aa61b16b920381ad35d41e7b217ec3322", null ],
    [ "handle_Websocket_Terminal_Event", "websocket__server_8cpp.html#a5e5953051702a5f60356fc9e9c2a9bac", null ],
    [ "websocket_data_server", "websocket__server_8cpp.html#afd9f167d8093fe6848435a1845d88797", null ],
    [ "websocket_terminal_server", "websocket__server_8cpp.html#a29d7b81ffbf494bef178e3f94376fddb", null ]
];