diff options
author | Stephan Renatus <[email protected]> | 2017-04-03 11:15:39 +0200 |
---|---|---|
committer | Stephan Renatus <[email protected]> | 2017-04-03 11:15:39 +0200 |
commit | 161630f3e1e870dee50cd5c5161e9f09ebe9066b (patch) | |
tree | e9c82967b4d2ac85e3ceb250ea0469f58cc52541 /lib/os_mon | |
parent | 6604585547b8e84d53aac174182cfb06289bbf73 (diff) | |
download | otp-161630f3e1e870dee50cd5c5161e9f09ebe9066b.tar.gz otp-161630f3e1e870dee50cd5c5161e9f09ebe9066b.tar.bz2 otp-161630f3e1e870dee50cd5c5161e9f09ebe9066b.zip |
Don't exit 0 if killing epmd is impossible because there's living nodes
Living nodes will make `epmd -kill` fail, but there's no way to tell
except by looking at the commands output. With this change, the exit
code will be 1 to indicate failure.
Signed-off-by: Stephan Renatus <[email protected]>
Diffstat (limited to 'lib/os_mon')
0 files changed, 0 insertions, 0 deletions