diff options
| author | Anders Svensson <[email protected]> | 2015-01-19 11:45:40 +0100 |
|---|---|---|
| committer | Anders Svensson <[email protected]> | 2015-01-19 14:18:43 +0100 |
| commit | 65153795869eda29ccd1bb0d3b5c14e390681f4f (patch) | |
| tree | b023cec3aaeadd1fbf67bd1efc6b16d2b7a6d3f3 /HOWTO/INSTALL-WIN32.md | |
| parent | af87b1c3d4897840d8247589a88d3611106ecedc (diff) | |
| download | otp-65153795869eda29ccd1bb0d3b5c14e390681f4f.tar.gz otp-65153795869eda29ccd1bb0d3b5c14e390681f4f.tar.bz2 otp-65153795869eda29ccd1bb0d3b5c14e390681f4f.zip | |
Monitor more efficiently at shutdown
There's no need for building a pid list only to map it to a list of
monitor references. Also, monitoring before banging the shutdown
message makes for better trace, avoiding unnecessary noproc reasons when
the process dies before the monitor is created.
Diffstat (limited to 'HOWTO/INSTALL-WIN32.md')
0 files changed, 0 insertions, 0 deletions