Skip to content

Commit

Permalink
BUGFIX fix some stupid bugs
Browse files Browse the repository at this point in the history
Now at least it fails with some reasonable conditions
  • Loading branch information
samuelrivas committed Jun 16, 2012
1 parent abcb7ba commit 4a3af34
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions src/sel_async_queue_fsm_proper.erl
Expand Up @@ -73,11 +73,11 @@ postcondition(
_From,_To,_StateData,_Call, _Res) ->
false.

next_state_data(no_queue, empty, State, _Call, Res) ->
next_state_data(no_queue, empty, State, Res, _Call) ->
State#state{queue = Res};
next_state_data(_, no_queue, State, _Call, _Res) ->
next_state_data(_, no_queue, State, _Res, _Call) ->
State#state{queue = undefined};
next_state_data(_From, _Target, State, _Call, _Res) -> State.
next_state_data(_From, _Target, State, _Res, _Call) -> State.

%%%===================================================================
%%% States
Expand All @@ -89,7 +89,7 @@ no_queue(#state{queue = Queue}) ->
].

empty(#state{queue = Queue}) ->
[{no_queue, {call, sel_async_queue, destroy, [Queue]}}].
[{no_queue, {call, ?MODULE, destroy, [Queue]}}].

%%%===================================================================
%%% Transitions
Expand Down

0 comments on commit 4a3af34

Please sign in to comment.