diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2014-04-20 13:28:11 +0200 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2014-04-20 13:28:11 +0200 |
| commit | d21d5c98a53ddedc3e15d53f8dbe5d71eb06417e (patch) | |
| tree | 72a9c2b9fa3572cbb54c2faf124820f39c98ae09 | |
| parent | 5a7497904e4f0f3bd300e1353a26fab80c178321 (diff) | |
| download | php-git-d21d5c98a53ddedc3e15d53f8dbe5d71eb06417e.tar.gz | |
Fixed potential bug in run command
| -rw-r--r-- | phpdbg_parser.y | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/phpdbg_parser.y b/phpdbg_parser.y index be37781cd1..4a84504e2e 100644 --- a/phpdbg_parser.y +++ b/phpdbg_parser.y @@ -147,15 +147,15 @@ parameter $$.str = $2.str; $$.len = $2.len; } + | T_RUN { + $$.type = RUN_PARAM; + $$.len = 0; + } | T_RUN T_INPUT { $$.type = RUN_PARAM; $$.str = $2.str; $$.len = $2.len; } - | T_RUN { - $$.type = RUN_PARAM; - $$.len = 0; - } | T_OPCODE { $$ = $1; } | T_ADDR { $$ = $1; } | T_LITERAL { $$ = $1; } |