{
  "$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"
}