diff options
author | Adin Scannell <ascannell@google.com> | 2021-02-12 17:11:14 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-02-12 17:13:44 -0800 |
commit | 3ef012944d32313cee4df244585f48e8d4fd8e9e (patch) | |
tree | 8c406fdab9db7ef5305d384ef64eff4ff6fdd581 /pkg/ring0/pagetables | |
parent | 33c617cae3d6e5261e67090faf52c4101f5b7713 (diff) |
Stop the control server only once.
Operations are now shut down automatically by the main Stop
command, and it is not necessary to call Stop during Destroy.
Fixes #5454
PiperOrigin-RevId: 357295930
Diffstat (limited to 'pkg/ring0/pagetables')
0 files changed, 0 insertions, 0 deletions