> Hi!
>
> Attached is the patch implementing build ID. Please comment. If no
> objections are raised I'm going to commit it tomorrow.
...
>+ fprintf(stderr, "Cannot load %s - it was build with configuration %s, 
>whereas running engine is %s\n",

Why not to call zend_error instead?
It would make more sense because by default zend_error falls back to the 
output anyway and
honors php.ini settings like error_log, so admins will see the trouble in 
the log if it is set.

-jv



-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to