From 3bdde42c1f945a1485b36b3fe33839f93199339e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Mon, 1 Apr 2013 18:49:52 +0200
Subject: Use erlang:demonitor's flush option on timeout

It is equivalent to the few lines removed, except more efficient.
---
 lib/stdlib/src/gen.erl | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'lib/stdlib/src/gen.erl')

diff --git a/lib/stdlib/src/gen.erl b/lib/stdlib/src/gen.erl
index d9db17170b..5df5530ba1 100644
--- a/lib/stdlib/src/gen.erl
+++ b/lib/stdlib/src/gen.erl
@@ -218,11 +218,7 @@ do_call(Process, Label, Request, Timeout) ->
 		{'DOWN', Mref, _, _, Reason} ->
 		    exit(Reason)
 	    after Timeout ->
-		    erlang:demonitor(Mref),
-		    receive
-			{'DOWN', Mref, _, _, _} -> true
-		    after 0 -> true
-		    end,
+		    erlang:demonitor(Mref, [flush]),
 		    exit(timeout)
 	    end
     catch
-- 
cgit v1.2.3