diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2021-06-29 14:46:51 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-06-29 14:49:33 -0700 |
| commit | d205926f235258468bfe206388fa1b55cb1ea7fa (patch) | |
| tree | 3f0204378a2aac13a4f9fdcdc32192b939c2c5df /pkg/usermem | |
| parent | 5f2b3728fc1d71d32912c57d948ba4b15c886f2a (diff) | |
Delete PID files right after they are read
The PID files are not used after they are read, so there is
no point in keeping them around until the shim is deleted.
Updates #6225
PiperOrigin-RevId: 382169916
Diffstat (limited to 'pkg/usermem')
0 files changed, 0 insertions, 0 deletions