Module ws 

WebSocket handler implementing the tty-web binary protocol.

Wire protocol

All WebSocket messages are binary frames. The first byte is the command, the rest is the payload.

Direction	Cmd	Payload	Description
client → server	0x00	raw bytes	Terminal input
client → server	0x01	rows(u16 BE) + cols(u16 BE)	Resize
server → client	0x00	raw bytes	Terminal output
server → client	0x10	UUID string	Session ID
server → client	0x12	—	Shell exited
server → client	0x13	rows(u16 BE) + cols(u16 BE)	Window size
server → client	0x14	—	Replay end

Enums

ClientCommand 🔒

ResolveError 🔒

Constants

CLOSE_SESSION_NOT_FOUND 🔒

WebSocket close code: requested session not found.

CMD_INPUT 🔒

Client → Server: terminal input.

CMD_OUTPUT 🔒

Server → Client: terminal output.

CMD_REPLAY_END 🔒

Server → Client: end of scrollback replay.

CMD_RESIZE 🔒

Client → Server: resize (4-byte payload: rows u16 BE, cols u16 BE).

CMD_SESSION_ID 🔒

Server → Client: session UUID string.

CMD_SHELL_EXIT 🔒

Server → Client: shell process exited.

CMD_WINDOW_SIZE 🔒

Server → Client: current PTY window size (4-byte payload: rows u16 BE, cols u16 BE).

Functions

encode_window_size 🔒

Encode a window size as 4 big-endian bytes (rows, cols).

handle_client_message 🔒

handle_socket 🔒

parse_client_message 🔒

resolve_session 🔒

send_frame 🔒

Send a protocol frame (command byte + payload) over the WebSocket.

ws_handler