mirror of
https://github.com/php/php-src.git
synced 2024-12-11 10:54:47 +08:00
Merge branch 'PHP-7.1'
This commit is contained in:
commit
942d4d5614
@ -1605,7 +1605,7 @@ phpdbg_main:
|
||||
quit_immediately = phpdbg_startup_run > 1;
|
||||
|
||||
/* set exec if present on command line */
|
||||
if (!read_from_stdin && argc > php_optind && (strcmp(argv[php_optind-1], "--") != SUCCESS)) {
|
||||
if (!read_from_stdin && argc > php_optind) {
|
||||
if (!exec && strlen(argv[php_optind])) {
|
||||
exec = strdup(argv[php_optind]);
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user