diff options
| author | Lukas Larsson <[email protected]> | 2017-05-19 09:44:11 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2017-05-19 09:52:00 +0200 |
| commit | 81b62880e3768dcd161f107f766f3e6e89d59446 (patch) | |
| tree | f73184f9afc15e6b07a3b6745a1f43063dfba200 /plt/.gitignore | |
| parent | f954cdea9b67369185094a3aea7cb611dd680b3c (diff) | |
| download | otp-81b62880e3768dcd161f107f766f3e6e89d59446.tar.gz otp-81b62880e3768dcd161f107f766f3e6e89d59446.tar.bz2 otp-81b62880e3768dcd161f107f766f3e6e89d59446.zip | |
erts: Add undocumented option to do default SIGTERM
This is a stopgap measure before the release of OTP-20 where
that makes it possible for the user to make the vm not do
anything with SIGTERM and instead rely on the OS default.
To enable this behaviour the user should set the environment
variable ERL_ZZ_SIGTERM_KILL="true".
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions