{ "additionalProperties": false, "description": "Server properties - hostname/ip_address, port and ssh fingerprint", "id": "SshFingerprintProperties", "properties": { "port": { "description": "Remote server port on which ssh connection is made.", "maximum": 65535, "minimum": 1, "required": true, "title": "Server port", "type": "integer" }, "server": { "description": "Server hostname/ip_address for which fingerprint has been retrieved.", "pattern": "^.+$", "required": true, "title": "Remote server hostname or IP address", "type": "string" }, "ssh_fingerprint": { "description": "Remote server's ssh fingerprint.", "title": "SSH fingerprint of server", "type": "string" } }, "title": "Server ssh fingerprint properties", "type": "object" }