Hi,
> (Hint: __wakeup() isn't called). >This looks to be the same as https://bugs.php.net/bug.php?id=60879. Can you try the build I linked to in that report and see if it resolves this issue for you?
It does. Thanks!- Timm
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php