StoreDisconnected

interface
messages.ts:41

extends BaseMessage

Broadcast when a store disconnects from the hub.

The hub sends this to all extensions when a store's WebSocket closes (gracefully or due to error). The optional reason field carries a human-readable explanation when available.

Properties

NameTypeDescription
reason?string
sourceIdstringUUID of the sender (store wrapper ID or extension ID).
sourceRoleDevtoolsRoleRole of the sender.
storeIdstring
timestampstringISO 8601 timestamp of when the message was created.
type"STORE_DISCONNECTED"Discriminant field identifying the message type.