diff options
| author | Lukas Larsson <[email protected]> | 2017-04-10 10:44:54 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2017-04-10 10:44:54 +0200 |
| commit | 82b17d7334c2449b66feb9ec2195d7b211688557 (patch) | |
| tree | 78f7687eacb4080d58ee36ea5b0ed9dbdc19530d /.gitignore | |
| parent | e837d55f1d0bfca428fd8f219af71e09c0f98748 (diff) | |
| parent | 161630f3e1e870dee50cd5c5161e9f09ebe9066b (diff) | |
| download | otp-82b17d7334c2449b66feb9ec2195d7b211688557.tar.gz otp-82b17d7334c2449b66feb9ec2195d7b211688557.tar.bz2 otp-82b17d7334c2449b66feb9ec2195d7b211688557.zip | |
Merge branch 'sr/epmd/exit-1-if-living-nodes/PR-1402/OTP-14324'
* sr/epmd/exit-1-if-living-nodes/PR-1402/OTP-14324:
Don't exit 0 if killing epmd is impossible because there's living nodes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions