diff options
author | Björn-Egil Dahlberg <[email protected]> | 2015-01-12 17:30:45 +0100 |
---|---|---|
committer | Björn-Egil Dahlberg <[email protected]> | 2015-01-13 16:59:10 +0100 |
commit | d373dc49ae4c8a2d27dde23564bcaf2642cc46e5 (patch) | |
tree | 4c55a853ab223e731eab6e3603788e6d3bd56afb /erts/prebuild.skip | |
parent | af87b1c3d4897840d8247589a88d3611106ecedc (diff) | |
download | otp-d373dc49ae4c8a2d27dde23564bcaf2642cc46e5.tar.gz otp-d373dc49ae4c8a2d27dde23564bcaf2642cc46e5.tar.bz2 otp-d373dc49ae4c8a2d27dde23564bcaf2642cc46e5.zip |
erts: Extend driver interface with emergency_close
The intention of this callback is to close all sockets associated to
a port. It is closed only on crashdumps.
This will currently only be used for the epmd port.
Diffstat (limited to 'erts/prebuild.skip')
0 files changed, 0 insertions, 0 deletions