Re: [patch] build_id implementation
| From: | jvlad | Date: | Sat, 17 Jan 2009 03:02:27 +0000 |
| Subject: | Re: [patch] build_id implementation | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-42671@lists.php.net to get a copy of this message | ||
> 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