var class_websocket_header =
[
    [ "~WebsocketHeader", "class_websocket_header.html#a4580a98e79c3fdc289a6680b0696c6b5", null ],
    [ "getRequest", "class_websocket_header.html#ac928369a04f4a6950e2babdbcf35a960", null ]
];