diff options
author | Henrik Nord <henrik@erlang.org> | 2011-11-10 11:39:14 +0100 |
---|---|---|
committer | Henrik Nord <henrik@erlang.org> | 2011-11-10 11:39:20 +0100 |
commit | 15960e59aa69746660e885046c71ec47d2450178 (patch) | |
tree | 887bf5750f640e20a5125262a30545766afcd65e /lib/tools | |
parent | 19694bc8071f1986a457e13fad0fcad5e4bf2cd2 (diff) | |
parent | cc087c398941302629ac6fd140639e65a9516cb8 (diff) | |
download | otp-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.erl | 4 |
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. |