Function get_port

app/core/settings.py:129–132

()

# (default 8080) before spawning the backend; a self-hosted server's --port wins.
# Changing it needs a restart — the socket is bound at startup.
def get_port() -> int:
    with _LOCK:
        v = _num(_ensure().get("port"))
        return max(_PORT_MIN, min(_PORT_MAX, v)) if v is not None else DEFAULT_PORT


def set_port(value: int) -> int: