aboutsummaryrefslogtreecommitdiffstats
path: root/lib/tools
diff options
context:
space:
mode:
authorHenrik Nord <henrik@erlang.org>2011-11-10 11:39:14 +0100
committerHenrik Nord <henrik@erlang.org>2011-11-10 11:39:20 +0100
commit15960e59aa69746660e885046c71ec47d2450178 (patch)
tree887bf5750f640e20a5125262a30545766afcd65e /lib/tools
parent19694bc8071f1986a457e13fad0fcad5e4bf2cd2 (diff)
parentcc087c398941302629ac6fd140639e65a9516cb8 (diff)
downloadotp-15960e59aa69746660e885046c71ec47d2450178.tar.gz
otp-15960e59aa69746660e885046c71ec47d2450178.tar.bz2
otp-15960e59aa69746660e885046c71ec47d2450178.zip
Merge branch 'pg/fix-cover-leftover-down-msg'
* pg/fix-cover-leftover-down-msg: [cover]fix leftover {'DOWN', ..} msg in callers queue OTP-9694
Diffstat (limited to 'lib/tools')
-rw-r--r--lib/tools/src/cover.erl4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/tools/src/cover.erl b/lib/tools/src/cover.erl
index fb9744d759..e21bd1b88c 100644
--- a/lib/tools/src/cover.erl
+++ b/lib/tools/src/cover.erl
@@ -522,7 +522,7 @@ call(Request) ->
{?SERVER,Reply} ->
Reply
end,
- erlang:demonitor(Ref),
+ erlang:demonitor(Ref, [flush]),
Return
end.
@@ -545,7 +545,7 @@ remote_call(Node,Request) ->
{?SERVER,Reply} ->
Reply
end,
- erlang:demonitor(Ref),
+ erlang:demonitor(Ref, [flush]),
Return
end.