diff options
author | Rickard Green <[email protected]> | 2017-04-21 17:16:13 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2017-04-21 17:22:30 +0200 |
commit | 4c408d98127c3a44f47b86e89d2a0bd5567b1e70 (patch) | |
tree | 92dd3a36bec3f40d20fd8fe2aa95cd2c48e63d12 /plt | |
parent | d25ad84195ca42969fbfb017a52aab8c8effc246 (diff) | |
download | otp-4c408d98127c3a44f47b86e89d2a0bd5567b1e70.tar.gz otp-4c408d98127c3a44f47b86e89d2a0bd5567b1e70.tar.bz2 otp-4c408d98127c3a44f47b86e89d2a0bd5567b1e70.zip |
Do not ignore SIGTERM when VM has been started with +Bi
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions