mirror of
https://github.com/openai/codex.git
synced 2026-05-14 16:22:51 +00:00
872b8b15b3
* Pass installation ID for storage on enrollments server for deduping/grouping multiple appservers per installation * Pass installation ID in remoteControl/status/changed events
35 lines
732 B
JSON
Generated
35 lines
732 B
JSON
Generated
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"definitions": {
|
|
"RemoteControlConnectionStatus": {
|
|
"enum": [
|
|
"disabled",
|
|
"connecting",
|
|
"connected",
|
|
"errored"
|
|
],
|
|
"type": "string"
|
|
}
|
|
},
|
|
"description": "Current remote-control connection status and remote identity exposed to clients.",
|
|
"properties": {
|
|
"environmentId": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
]
|
|
},
|
|
"installationId": {
|
|
"type": "string"
|
|
},
|
|
"status": {
|
|
"$ref": "#/definitions/RemoteControlConnectionStatus"
|
|
}
|
|
},
|
|
"required": [
|
|
"installationId",
|
|
"status"
|
|
],
|
|
"title": "RemoteControlStatusChangedNotification",
|
|
"type": "object"
|
|
} |