diff options
author | Rickard Green <[email protected]> | 2012-12-14 13:35:30 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2012-12-14 13:35:30 +0100 |
commit | faf66ee365f89252dd6367a7549a0b789879ce2e (patch) | |
tree | 2e41bacc276398d416d5905dff407e1ae93b3695 /.gitignore | |
parent | 70debf33fadd0b897995365266bc6457abd8e62b (diff) | |
download | otp-faf66ee365f89252dd6367a7549a0b789879ce2e.tar.gz otp-faf66ee365f89252dd6367a7549a0b789879ce2e.tar.bz2 otp-faf66ee365f89252dd6367a7549a0b789879ce2e.zip |
Fix aborts of port tasks when terminating ports
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions