diff options
| author | Rickard Green <[email protected]> | 2018-09-10 10:47:52 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2018-09-10 11:33:24 +0200 |
| commit | da4c24bf8fc7bb2ee0d0a66d9fcfe6344d7c0c8a (patch) | |
| tree | b57c3cd18ad0dcd0e638742fcb3d75742dc38dac /erts/.gitignore | |
| parent | 30e5321740b96b3a8984611b6f821692716d0555 (diff) | |
| download | otp-da4c24bf8fc7bb2ee0d0a66d9fcfe6344d7c0c8a.tar.gz otp-da4c24bf8fc7bb2ee0d0a66d9fcfe6344d7c0c8a.tar.bz2 otp-da4c24bf8fc7bb2ee0d0a66d9fcfe6344d7c0c8a.zip | |
Restore default SIGTERM behaviour for port programs
erl_child_setup program ignores TERM signals as of ERTS version
10.0 (cff8dce0). This setting was unfortunately inherited by
port programs. This commit restores handling of TERM signals
in port programs to the default behavior. That is, terminate the
process.
Diffstat (limited to 'erts/.gitignore')
0 files changed, 0 insertions, 0 deletions