Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Fix race in coordinator

  • Loading branch information...
commit d0419ddb2e43b1ed957108712e9bf9505d7a0c01 1 parent 6d0da21
Stavros Aronis aronisstav authored proxyles committed
Showing with 4 additions and 6 deletions.
  1. +4 −6 lib/dialyzer/src/dialyzer_coordinator.erl
10 lib/dialyzer/src/dialyzer_coordinator.erl
View
@@ -152,7 +152,9 @@ send_done_to_parent(#state{mode = Mode,
next_label = NextLabel}) ->
Msg =
case Mode of
- X when X =:= 'typesig'; X =:= 'dataflow' -> {not_fixpoint, Result};
+ X when X =:= 'typesig'; X =:= 'dataflow' ->
+ ets:delete(?MAP),
+ {not_fixpoint, Result};
'compile' -> {compilation_data, Result, NextLabel};
'warnings' -> {warnings, Result}
end,
@@ -340,11 +342,7 @@ handle_info(_Info, State) ->
-spec terminate(term(), #state{}) -> ok.
-terminate(_Reason, #state{mode = Mode}) ->
- case Mode of
- X when X =:= 'typesig'; X =:= 'dataflow' -> ets:delete(?MAP);
- _ -> true
- end,
+terminate(_Reason, _State) ->
ok.
-spec code_change(term(), #state{}, term()) -> {ok, #state{}}.
Please sign in to comment.
Something went wrong with that request. Please try again.