Variant

session-error

Errors that can occur during session operations.

variant session-error {
  io(stream-error),
  store(store-error),
  no-such-session,
  unexpected(string),
}

Cases

CasePayloadDescription
iostream-error

An I/O error occurred in communication with the client.

storestore-error

An error occurred in the underlying key-value store.

no-such-session—

The specified session does not exist.

unexpectedstring

An unexpected error occurred.