WebSocketClose Event 843
Applies To: HTMLRenderer

Description

This event is triggered when the HTMLRenderer client closes the WebSocket. It is for notification only.

The event message reported as the result of ⎕DQ, or supplied as the right argument to your callback function, is a 4-element vector as follows:

[1] Object ref or character vector
[2] Event 'WebSocketClose' or 843
[3] ID Character vector containing the ID of the WebSocket

When used as a method, the result is 0.

Example

    hr.WebSocketClose '223d0f781e95113'