<map id="onWebSocketClose" name="onWebSocketClose">
<area shape="rect" id="node1" title=" " alt="" coords="5,85,151,112"/>
<area shape="rect" id="node2" href="$global__functions_8php.html#aeacc0140de439ebab9a5466c45d38191" title=" " alt="" coords="246,5,329,32"/>
<area shape="rect" id="node3" href="$global__functions_8php.html#a97e3b3adabf67bc7d3650ed14214ddaa" title=" " alt="" coords="256,56,319,83"/>
<area shape="rect" id="node4" href="$class_z_m_1_1_utils_1_1_connection_util.html#a80abd0ec46bb79867148f3b0e254f5e2" title=" " alt="" coords="199,107,376,149"/>
<area shape="rect" id="node6" href="$global__functions_8php.html#a72209840841640a3706f6393aa3bc0bc" title=" " alt="" coords="252,173,323,200"/>
<area shape="rect" id="node5" href="$global__functions_8php.html#a1940ca501fb066ab88f56a1776d80c72" title=" " alt="" coords="424,115,491,141"/>
</map>
