From c82e9fad33302ff24fdddbd50f110c06d4eb81d4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Fri, 5 Apr 2013 13:06:24 +0200
Subject: Use erlang:demonitor(Ref, [flush]) where applicable

---
 lib/et/src/et_collector.erl | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

(limited to 'lib/et/src/et_collector.erl')

diff --git a/lib/et/src/et_collector.erl b/lib/et/src/et_collector.erl
index a63d15fb4c..ce8cf6d4e0 100644
--- a/lib/et/src/et_collector.erl
+++ b/lib/et/src/et_collector.erl
@@ -654,13 +654,8 @@ start_trace_client(CollectorPid, Type, FileName) when Type =:= file ->
     Ref = erlang:monitor(process, Pid),
     receive
         WaitFor -> 
-	    erlang:demonitor(Ref),
-	    receive 
-		{'DOWN', Ref, _, _, _} ->
-		    file_loaded
-	    after 0 ->
-		    file_loaded
-	    end;
+	    erlang:demonitor(Ref, [flush]),
+	    file_loaded;
         {'DOWN', Ref, _, _, Reason} ->
             exit(Reason)
     end;
-- 
cgit v1.2.3