{ "additionalProperties": false, "extends": { "$ref": "CopyRemoteFileProperties }, "id": "CopyFromRemoteFileProperties", "properties": { "port": { "maximum": 65535, "minimum": 1, "title": "Server port", "type": "integer" }, "protocol": { "$ref": "Protocol, "required": true, "title": "Protocol to use to copy file" }, "server": { "pattern": "^.+$", "required": true, "title": "Remote server hostname or IP address", "type": "string" }, "uri": { "required": true, "title": "URI of file to copy", "type": "string" } }, "type": "object" }