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