var searchData=
[
  ['websocket_5fdata_5fserver_1553',['websocket_data_server',['../websocket__server_8cpp.html#afd9f167d8093fe6848435a1845d88797',1,'websocket_server.cpp']]],
  ['websocket_5fterminal_5fserver_1554',['websocket_terminal_server',['../websocket__server_8cpp.html#a29d7b81ffbf494bef178e3f94376fddb',1,'websocket_terminal_server(): websocket_server.cpp'],['../websocket__server_8h.html#a29d7b81ffbf494bef178e3f94376fddb',1,'websocket_terminal_server(): websocket_server.cpp']]]
];