> Could you please also open a ticket in the bug tracker?
> thanks

He did: http://bugs.php.net/bug.php?id=54157

Now he is bringing the discussion here per Johannes.  I too have
experienced Tim's problem and am interested in getting a discussion
going on what can be done to solve it.


-- 
Herman Radtke
hermanrad...@gmail.com | http://hermanradtke.com

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

Reply via email to