Skip to content
Snippets Groups Projects
Dmitry Ivanov's avatar
Dmitry Ivanov authored
* Use bare exec in inner.rs instead of fork + exec.
* Use parent death signal on linux (man 2 PR_SET_PDEATHSIG).
* Fix usage of waitpid() (man 2 waitpid).
a31b0ef1
History
Name Last commit Last update