diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2023-10-25 17:38:28 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-11-15 11:51:20 +0100 |
| commit | 8aa7668ba6d9049644b02fcb6fbdba00fd8fdf67 (patch) | |
| tree | 35ed9bea5d1036f9d63c1886aa1f19f16c99d538 /src/buildtool/execution_api/execution_service/server_implementation.cpp | |
| parent | c37a9fb6bd5d16543a557d46508c7f6d67b70c57 (diff) | |
| download | justbuild-8aa7668ba6d9049644b02fcb6fbdba00fd8fdf67.tar.gz | |
just execute: fix race condition during garbage collection...
...of the internal cache used for keeping track of running operations.
(cherry-picked from bec4dbd9bd995f73eab1ff803e7895187068ddb0)
Diffstat (limited to 'src/buildtool/execution_api/execution_service/server_implementation.cpp')
0 files changed, 0 insertions, 0 deletions