{
  "$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"
    },
    "serverName": {
      "type": "string"
    },
    "status": {
      "$ref": "#/definitions/RemoteControlConnectionStatus"
    }
  },
  "required": ["installationId", "serverName", "status"],
  "title": "RemoteControlStatusChangedNotification",
  "type": "object"
}