Merge pull request erlang#9124 from dumbbell/fix-race-in-cover-start

cover: Fix a race condition in how the server is started as part of a call OTP-19517
bjorng · Mar 3, 2025 · 3ff68a3 · 3ff68a3
2 parents 5e48ebb + 05e49fe
commit 3ff68a3
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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},