On 09/07/02, "Markus Fischer" <[EMAIL PROTECTED]> wrote:
> +1
>     Afaik this was already brought up.

I'm +1 on the principle.

>     Maybe some ini entry like
>         php.user_agent (or whatever fits best)

+1 on this, but also note that the not-yet-documented-enough
stream context is intended to hold this kind of setting also,
so that the string can be set differently for each stream, if
desired.

--Wez.



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

Reply via email to