diff options
author | Bob Weinand <bobwei9@hotmail.com> | 2016-11-30 02:56:47 +0100 |
---|---|---|
committer | Bob Weinand <bobwei9@hotmail.com> | 2016-11-30 02:56:47 +0100 |
commit | b73a3afff333143b2908b280e6a4e26d61cb3138 (patch) | |
tree | 517467b801d7e15711bc80aebb9dd4d4f72fccbf /sapi/phpdbg/phpdbg.c | |
parent | 9a9ad56af0f80c69d363e8cfabe412da798c497d (diff) | |
download | php-git-b73a3afff333143b2908b280e6a4e26d61cb3138.tar.gz |
Fixed bug #73615 (phpdbg without option never load .phpdbginit at startup)
Diffstat (limited to 'sapi/phpdbg/phpdbg.c')
-rw-r--r-- | sapi/phpdbg/phpdbg.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/sapi/phpdbg/phpdbg.c b/sapi/phpdbg/phpdbg.c index 148e18a454..7eeaf48d79 100644 --- a/sapi/phpdbg/phpdbg.c +++ b/sapi/phpdbg/phpdbg.c @@ -1874,9 +1874,7 @@ phpdbg_main: /* initialize from file */ PHPDBG_G(flags) |= PHPDBG_IS_INITIALIZING; zend_try { - if (init_file) { - phpdbg_init(init_file, init_file_len, init_file_default); - } + phpdbg_init(init_file, init_file_len, init_file_default); } zend_end_try(); PHPDBG_G(flags) &= ~PHPDBG_IS_INITIALIZING; |