{
    "$schema": "http://json-schema.org/draft-04/schema#",
    "title": "ImboLauncher configuration",
    "description": "The configuration file used by ImboLauncher to start one or more Imbo servers",
    "type": "object",
    "properties": {
        "servers": {
            "description": "List of server definitions",
            "type": "array",
            "minItems": 1,
            "items": {
                "type": "object",
                "properties": {
                    "version": {
                        "description": "Which Imbo version to use for this definition",
                        "type": "string"
                    },
                    "host": {
                        "description": "Which host to use for this server",
                        "type": "string"
                    },
                    "port": {
                        "description": "Which port to use for this server",
                        "type": "number"
                    },
                    "config": {
                        "description": "Which configuration file to use for this server",
                        "type": "string"
                    }
                },
                "required": [
                    "version",
                    "host",
                    "port",
                    "config"
                ]
            }
        }
    },
    "required": [
        "servers"
    ]
}