[erlang-patches] Use erlang:demonitor(Ref, [flush]) where applicable

[Fredrik]

On 04/05/2013 01:10 PM, Loïc Hoguin wrote:
> Hello,
>
> 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
>
>     https://github.com/essen/otp/compare/erlang:maint...demonitor-flush
>     https://github.com/essen/otp/compare/erlang:maint...demonitor-flush.patch 
>
>
> Enjoy!
>
Fetched,
Your patch is now located in the 'pu' branch.
Thanks,

-- 

BR Fredrik Gustafsson
Erlang OTP Team