Set wait_timer to undefined when timer was triggered

This commit is contained in:
Paweł Chmielowski 2018-07-26 17:28:51 +02:00
parent 1be2112634
commit e54f1a8485
1 changed files with 2 additions and 1 deletions

View File

@ -572,7 +572,8 @@ handle_sync_event(_Event, _From, StateName, State) ->
handle_info({timeout, TRef, wait_timeout}, StateName,
#state{wait_timer = TRef} = State) ->
{next_state, StateName, drop_holding_receiver(State)};
State2 = State#state{wait_timer = undefined},
{next_state, StateName, drop_holding_receiver(State2)};
handle_info({timeout, TRef, inactive}, _StateName,
#state{inactivity_timer = TRef} = State) ->
{stop, normal, State};