diff --git a/lib/tools/src/cover.erl b/lib/tools/src/cover.erl index 67b9841b2002..b2791760663a 100644 --- a/lib/tools/src/cover.erl +++ b/lib/tools/src/cover.erl @@ -1143,7 +1143,10 @@ call(Request) -> Ref = erlang:monitor(process,?SERVER), receive {'DOWN', Ref, _Type, _Object, noproc} -> erlang:demonitor(Ref), - {ok,_} = start(), + case start() of + {ok,_} -> ok; + {error,{already_started,_}} -> ok + end, call(Request) after 0 -> ?SERVER ! {self(),Request},