diff options
author | krakjoe <joe.watkins@live.co.uk> | 2014-04-19 21:08:54 +0100 |
---|---|---|
committer | krakjoe <joe.watkins@live.co.uk> | 2014-04-19 21:08:54 +0100 |
commit | 11c707d83657f2fd8347496d0959b27bdd454836 (patch) | |
tree | 26103c8915a340b0fabcfc2884cfba3a5d3e66f2 | |
parent | fdd9bc20507f04bdcdeb963a26a9334409885c5c (diff) | |
download | php-git-11c707d83657f2fd8347496d0959b27bdd454836.tar.gz |
auto compile when execution context set
-rw-r--r-- | phpdbg.c | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -929,7 +929,6 @@ phpdbg_main: step = 0; sapi_name = NULL; - while ((opt = php_getopt(argc, argv, OPTIONS, &php_optarg, &php_optind, 0, 2)) != -1) { switch (opt) { case 'r': @@ -1255,6 +1254,10 @@ phpdbg_main: phpdbg_welcome((cleaning > 0) TSRMLS_CC); } + if (PHPDBG_G(exec)) { + PHPDBG_COMMAND_HANDLER(compile)(NULL TSRMLS_CC); + } + /* initialize from file */ PHPDBG_G(flags) |= PHPDBG_IS_INITIALIZING; zend_try { |