Function closeWebSocket

desktop/src/shared/api/relayWebSocketClose.ts:10–28

(
  id: number,
  reason: string,
  invokeFn: typeof invoke = invoke,
)

 * stream terminates).
 */
export function closeWebSocket(
  id: number,
  reason: string,
  invokeFn: typeof invoke = invoke,
): Promise<void> {
  return invokeFn("plugin:websocket|send", {
    id,
    message: {
      type: "Close",
      data: { code: 1000, reason },
    },
  }).then(
    () => undefined,
    (err) => {
      // Expected when the socket is already gone; greppable for anything else.
      console.debug(`closeWebSocket(${id}, ${reason}) rejected:`, err);
    },
  );
}