HomeIsabelle/Phabricator

Enable all signals in child process after Unix.execute/executeInEnv.

Description

Enable all signals in child process after Unix.execute/executeInEnv.
Fixes problem with termination reported in #151.

Details

Provenance
dcjmAuthored on May 24 2021, 8:29 PM
Parents
rPOLYMLb3855a506d93: The file part of the command for Unix.execute/executeInEnv should be included…
Branches
Unknown
Tags
Unknown