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 /lib/.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 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions