diff options
author | 2018-07-11 09:35:44 +0000 | |
---|---|---|
committer | 2018-07-11 09:35:44 +0000 | |
commit | f6e5c9eb7e9081dc2abaae8f39a56d6a510abeb2 (patch) | |
tree | f0a21de60c782793f9c7892c63b552b4bfc71bcb /lib/libc/regex/engine.c | |
parent | in if_addgroup(), call the new pfi_group_addmember() instead of (diff) | |
download | wireguard-openbsd-f6e5c9eb7e9081dc2abaae8f39a56d6a510abeb2.tar.xz wireguard-openbsd-f6e5c9eb7e9081dc2abaae8f39a56d6a510abeb2.zip |
Add -f option to vmctl stop to forcefully kill a VM.
This also fixes a bug in vmm_sighdlr where it might have missed
forwarding the TERMINATE_EVENT to the vmd parent after a VM child
died, leading to an abandoned VM in the vmd parent process.
OK ccardenas@ mlarkin@ benno@ kn@
Diffstat (limited to 'lib/libc/regex/engine.c')
0 files changed, 0 insertions, 0 deletions