thematdevdotorg/config/json/main.json

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