diff options
author | Alberto Sartori <alberto.sartori@huawei.com> | 2023-10-24 13:03:39 +0200 |
---|---|---|
committer | Alberto Sartori <alberto.sartori@huawei.com> | 2023-11-15 20:19:18 +0100 |
commit | 0a55a1debd0cdd9ca5832ef824e51f583111928c (patch) | |
tree | 73aab44f2cfddf8bb612499d53d8a5752c72e08e | |
parent | 03a93bafbdd02bbb4e4f342d9d9e152293f990ae (diff) | |
download | justbuild-0a55a1debd0cdd9ca5832ef824e51f583111928c.tar.gz |
just_serve.proto: add Configuration service
This service allows to query the configuration of the just-serve
instance. In particular, it is used to double-check that the
associated remote end point is the same used by the interrogating
client.
-rw-r--r-- | src/buildtool/serve_api/serve_service/just_serve.proto | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/buildtool/serve_api/serve_service/just_serve.proto b/src/buildtool/serve_api/serve_service/just_serve.proto index 06c60134..c6b805d2 100644 --- a/src/buildtool/serve_api/serve_service/just_serve.proto +++ b/src/buildtool/serve_api/serve_service/just_serve.proto @@ -206,3 +206,15 @@ service Target { // * `INTERNAL`: Internally, something is very broken. rpc ServeTargetVariables(ServeTargetVariablesRequest) returns (ServeTargetVariablesResponse) {} } + +message RemoteExecutionEndpointRequest {} + +message RemoteExecutionEndpointResponse { + string address = 1; +} + +// This service can be used by the client to double check the server configuration +service Configuration { + // Returns the address of the associated remote endpoint + rpc RemoteExecutionEndpoint(RemoteExecutionEndpointRequest) returns (RemoteExecutionEndpointResponse) {} +} |