config forbid same server-port and admin-server-port (#3559)

* fix: forbid same server-port and admin-server-port

Forbids server-port and admin-server-port from being equal altogether,
despite they might not conflict at all in case admin and app are bound
to different addresses. Implemented as per the discussion at
https://github.com/PostgREST/postgrest/issues/3508#issuecomment-2125123633
This commit is contained in:
Andrei Dziahel
2024-07-03 13:02:02 -05:00
committed by GitHub
parent b9004baa3f
commit 06cbc4be36
4 changed files with 27 additions and 6 deletions
+1 -1
View File
@@ -174,7 +174,7 @@ admin-server-port
**In-Database** `n/a`
=============== =======================
Specifies the port for the :ref:`admin_server`.
Specifies the port for the :ref:`admin_server`. Cannot be equal to :ref:`server-port`.
.. _app.settings.*: