[erlang-patches] Use erlang:demonitor(Ref, [flush]) where applicable
Fri Apr 5 13:10:54 CEST 2013
This patch complements Anthony Ramine's by replacing erlang:demonitor/1
calls with erlang:demonitor(Ref, [flush]) where applicable, except in
the 'file' module where a better optimization was done in his patch.
A define test on SNMP_R10 was removed as this probably isn't used
anymore. The token wasn't found anywhere else in the repository.
git fetch https://github.com/essen/otp.git demonitor-flush
More information about the erlang-patches