On 17 September 2013 02:27, Alain Williams <a...@phcomp.co.uk> wrote:
>
> I have done a bit of digging and suspect that this happens as part of 
> readline initialisation.

That might very well be it.

-- 
Regards,
Mike

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

Reply via email to