On Sunday 02 November 2003 05:35, Arne Blankerts wrote:
[...]
> So contrary to the docs, the ini setting DOES take effect...
>

Please file a bug report at bugs.php.net. Maybe the docs are wrong, maybe its 
a bug in the cli.version, but this list is not the place to discuss potential 
bugs;-), the right place is bugs.php.net. 

Regards
Friedhelm Betz

Reply via email to