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