diff options
| author | Dan Gudmundsson <[email protected]> | 2016-04-28 15:36:37 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2016-05-04 13:06:59 +0200 |
| commit | 715915f811196fc33983f924bf3e91d5745692c1 (patch) | |
| tree | 9e20cb673f1151f7b5c3592fae1cf2feb9a7692e /lib/observer/src/observer_alloc_wx.erl | |
| parent | 373fa0737e2cb4fc5593cfff5e7845859b931cc1 (diff) | |
| download | otp-715915f811196fc33983f924bf3e91d5745692c1.tar.gz otp-715915f811196fc33983f924bf3e91d5745692c1.tar.bz2 otp-715915f811196fc33983f924bf3e91d5745692c1.zip | |
observer: Fix timing issue
Could crash if interval was updated before node was set.
Diffstat (limited to 'lib/observer/src/observer_alloc_wx.erl')
| -rw-r--r-- | lib/observer/src/observer_alloc_wx.erl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/observer/src/observer_alloc_wx.erl b/lib/observer/src/observer_alloc_wx.erl index ee01aed90b..77609b11ce 100644 --- a/lib/observer/src/observer_alloc_wx.erl +++ b/lib/observer/src/observer_alloc_wx.erl @@ -88,12 +88,14 @@ setup_time() -> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% handle_event(#wx{id=?ID_REFRESH_INTERVAL, event=#wxCommand{type=command_menu_selected}}, - #state{panel=Panel, appmon=Old, wins=Wins0, time=#ti{fetch=F0} = Ti0} = State) -> + #state{active=Active, panel=Panel, appmon=Old, wins=Wins0, time=#ti{fetch=F0} = Ti0} = State) -> case interval_dialog(Panel, Ti0) of Ti0 -> {noreply, State}; #ti{fetch=F0} = Ti -> %% Same fetch interval force refresh Wins = [W#win{max=undefined} || W <- Wins0], {noreply, precalc(State#state{time=Ti, wins=Wins})}; + Ti when not Active -> + {noreply, State#state{time=Ti}}; Ti -> %% Changed fetch interval, drop all data {noreply, restart_fetcher(Old, State#state{time=Ti})} end; |