diff options
| author | Jamie Liu <jamieliu@google.com> | 2020-08-18 12:30:10 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-08-18 12:32:14 -0700 |
| commit | b3141b680ffc0e4ad87b3cba5ca28e3e8d5b1db1 (patch) | |
| tree | 3228f1634baebce2e238203784967f91a2fcbe76 /tools/issue_reviver/BUILD | |
| parent | b9d87ae7af7b86e5480ef66d2a4d674646922ed7 (diff) | |
Wait for all p9 handlers to complete before server shutdown.
... including those invoked via flipcall.
PiperOrigin-RevId: 327283194
Diffstat (limited to 'tools/issue_reviver/BUILD')
0 files changed, 0 insertions, 0 deletions