diff options
| author | Adin Scannell <ascannell@google.com> | 2019-03-01 15:04:15 -0800 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-03-01 15:05:18 -0800 |
| commit | d811c1016d090ea88a687bd9bef4951dc08b391d (patch) | |
| tree | 02fddfec9090fcc026c3c1ab3c54705315e3c6ef /third_party | |
| parent | 96226f9a473c0c55e0b632f9fbe883b078a234ea (diff) | |
ptrace: drop old FIXME
The globalPool uses a sync.Once mechanism for initialization,
and no cleanup is strictly required. It's not really feasible
to have the platform implement a full creation -> destruction
cycle (due to the way filters are assumed to be installed), so
drop the FIXME.
PiperOrigin-RevId: 236385278
Change-Id: I98ac660ed58cc688d8a07147d16074a3e8181314
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions