{
    "hosts": {
        "server_name": "thematdev.org",
        "port": "1488",
        "texlink": "tex.thematdev.org",
        "texport": "1488"
    }
}