Merge branch '1.0-local' into 1.0

This commit is contained in:
xdrm-brackets 2017-02-23 17:04:47 +01:00
commit d96b3eae88
1 changed files with 2 additions and 2 deletions

View File

@ -164,7 +164,7 @@
$action = $actionlist[$id_action];
/* (4) Check if the state allows the action to be performed */
for( $c = 0 ; $c < strlen($state) || $c < strlen($action['prev']) ; $c++ ){
for( $c = 0 ; $c < strlen($state) && $c < strlen($action['prev']) ; $c++ ){
// {1} 'X' = any state -> so ignore //
if( $action['prev'][$c] == 'X' )
continue;
@ -197,7 +197,7 @@
/* [5] Process the action on the STATE
=========================================================*/
/* (1) Update the state with the found action */
for( $c = 0 ; $c < strlen($state) || $c < strlen($action['next']) ; $c++ ){
for( $c = 0 ; $c < strlen($state) && $c < strlen($action['next']) ; $c++ ){
// {1} If 'x' -> let the current state //
if( $action['next'][$c] == 'X' )