diff options
author | Tamir Duberstein <tamird@google.com> | 2020-03-11 19:56:13 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-03-11 19:57:25 -0700 |
commit | 538e35f61bc293bb2adf8b437afdeab4d27b6e53 (patch) | |
tree | 0988260632e05f4cd3fceb17d66b87336650f8d3 /scripts/common.sh | |
parent | 61051f226889f51fb97bd44131899a3c502b4c42 (diff) |
Fix race condition (*tcp.endpoint).Close
Atomically close the endpoint. Before this change, it was possible for
multiple callers to perform duplicate work.
PiperOrigin-RevId: 300462110
Diffstat (limited to 'scripts/common.sh')
0 files changed, 0 insertions, 0 deletions