diff options
author | Micael Karlberg <[email protected]> | 2019-03-04 17:07:23 +0100 |
---|---|---|
committer | Micael Karlberg <[email protected]> | 2019-03-05 09:50:22 +0100 |
commit | 49eb95319e878832cb3d6aa51a63d08d6b1b36b7 (patch) | |
tree | db26f27549deb8871c632a67f0cd12740134184a /scripts/Dockerfile.32 | |
parent | c3d9459c6310157a577a557bad870ec27ae86d46 (diff) | |
download | otp-49eb95319e878832cb3d6aa51a63d08d6b1b36b7.tar.gz otp-49eb95319e878832cb3d6aa51a63d08d6b1b36b7.tar.bz2 otp-49eb95319e878832cb3d6aa51a63d08d6b1b36b7.zip |
[socket] Make use of official monitor to term function
Remove own function to make monitor printable (was a hack)
and make use of the new enif_make_monitor_term instead.
Diffstat (limited to 'scripts/Dockerfile.32')
0 files changed, 0 insertions, 0 deletions