diff options
| author | Hans Bolinder <[email protected]> | 2016-12-06 14:02:12 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-01-11 09:34:58 +0100 |
| commit | 57e21970a394193e929795629fe5c3cd15310660 (patch) | |
| tree | b8c159a8157b7dd5996a190b8e3b27a3e70f04de /lib/dialyzer/src/dialyzer_gui_wx.erl | |
| parent | 605a4627a7383829559a1595457b860c1317da48 (diff) | |
| download | otp-57e21970a394193e929795629fe5c3cd15310660.tar.gz otp-57e21970a394193e929795629fe5c3cd15310660.tar.bz2 otp-57e21970a394193e929795629fe5c3cd15310660.zip | |
dialyzer: Do not send full PLTs as messages
The mini PLT is extended to hold all data of the full PLT, and the
full PLT is restored when needed (for storing the PLT on file).
Diffstat (limited to 'lib/dialyzer/src/dialyzer_gui_wx.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_gui_wx.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_gui_wx.erl b/lib/dialyzer/src/dialyzer_gui_wx.erl index 4caf64d007..1701aff2f2 100644 --- a/lib/dialyzer/src/dialyzer_gui_wx.erl +++ b/lib/dialyzer/src/dialyzer_gui_wx.erl @@ -505,8 +505,9 @@ gui_loop(#gui_state{backend_pid = BackendPid, doc_plt = DocPlt, end, ExplanationPid = spawn_link(Fun), gui_loop(State#gui_state{expl_pid = ExplanationPid}); - {BackendPid, done, _NewPlt, NewDocPlt} -> + {BackendPid, done, NewMiniPlt, NewDocPlt} -> message(State, "Analysis done"), + dialyzer_plt:delete(NewMiniPlt), config_gui_stop(State), gui_loop(State#gui_state{doc_plt = NewDocPlt}); {'EXIT', BackendPid, {error, Reason}} -> |