Searched refs:jerryx_websocket_receive_header_t (Results 1 – 1 of 1) sorted by relevance
79 } jerryx_websocket_receive_header_t; typedef325 if (receive_context_p->message_length < sizeof (jerryx_websocket_receive_header_t)) in jerryx_debugger_ws_receive()334 JERRYX_ASSERT (receive_context_p->message_length >= sizeof (jerryx_websocket_receive_header_t)); in jerryx_debugger_ws_receive()359 size_t new_total_length = message_length + sizeof (jerryx_websocket_receive_header_t); in jerryx_debugger_ws_receive()373 …eceive_context_p->message_length == (message_length + sizeof (jerryx_websocket_receive_header_t))); in jerryx_debugger_ws_receive()376 message_p += sizeof (jerryx_websocket_receive_header_t); in jerryx_debugger_ws_receive()