diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2025-02-24 14:16:42 +0100 |
|---|---|---|
| committer | Alberto Sartori <alberto.sartori@huawei.com> | 2025-02-25 11:27:16 +0100 |
| commit | 455003d0e924414db339395e8367166e7820c5da (patch) | |
| tree | 54d117565ea7edf059f4a18ebb1aaceca764ec5c /share | |
| parent | e61131b18ad90e9fc067e6036cbcd6c64b28c986 (diff) | |
| download | justbuild-455003d0e924414db339395e8367166e7820c5da.tar.gz | |
just serve: allow clients to access execution endpoint with a different address
To properly use `just serve`, both the client and the serve instance
must talk to the very same execution endpoint. Typically, both the
client and serve can reach out to the execution endpoint via the same
IP address. However, it might be possible that the client and a serve
instance know the same execution endpoint by means of differnet IP
addresses. For example, the client knows the execution endpoint
address through an _external_ IP address, while the serve instance,
deployed within the same network infrastructure, only knows the
_internal_ IP address.
This patch adds the subkey `"client address"` -- of the key
`"execution endpoint"` -- in the serve configuration file, to specify
the alternative pair `address:port` used by the client.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-serve-config.5.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/share/man/just-serve-config.5.md b/share/man/just-serve-config.5.md index a21adf03..f890cd6a 100644 --- a/share/man/just-serve-config.5.md +++ b/share/man/just-serve-config.5.md @@ -82,6 +82,9 @@ The configuration file is given by a JSON object. **`serve`**. For subkey *`"address"`* the value is a string specifying the remote execution address in a NAME:PORT format. + For subkey *`"client address"`* the value is a string specifying + the remote execution address used by the client in a NAME:PORT + format. If not provided, it defaults to *`"address"`*. For subkey *`"compatible"`* the value is a flag which specifies whether the remote endpoint uses the original remote execution protocol. If the key *`"execution endpoint"`* is given, the following three keys will |