diff options
| author | Hans Bolinder <[email protected]> | 2017-01-12 12:02:07 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-01-12 12:02:07 +0100 |
| commit | a8477127f917e7d660697089e2c8d8a1cd08aae9 (patch) | |
| tree | eb8bd0d1d263223b2cdcf0b5619b22bfde31904a /lib/dialyzer/src/dialyzer_gui_wx.erl | |
| parent | 19e33117de1c44c0e4200ca8ee280cb843842b4c (diff) | |
| parent | 568e6b5faebf85fb35119858fcb4824f46a4266c (diff) | |
| download | otp-a8477127f917e7d660697089e2c8d8a1cd08aae9.tar.gz otp-a8477127f917e7d660697089e2c8d8a1cd08aae9.tar.bz2 otp-a8477127f917e7d660697089e2c8d8a1cd08aae9.zip | |
Merge branch 'maint'
* maint:
dialyzer: Compact 'file' annotations in Core code
dialyzer: Try to reduce memory usage
dialyzer: Use less memory when translating contracts
dialyzer: Use maps instaed of dict
dialyzer: Use maps instead of dict for module contracts map
dialyzer: Compress a few more ETS tables
dialyzer: Optimize memory consumption
dialyzer: Reduce memory consumption during 'remote' phase
dialyzer: Update code for finding parallelism
compiler: Do not spawn process when dialyzing
dialyzer: Reduce ETS usage during the typesig phase
dialyzer: Optimize graph condensation
dialyzer: Do not send full PLTs as messages
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 91f7fbe467..d1b955044b 100644 --- a/lib/dialyzer/src/dialyzer_gui_wx.erl +++ b/lib/dialyzer/src/dialyzer_gui_wx.erl @@ -498,8 +498,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}} -> |