Hi Pierre, > Can reproduce it now, can you open a bug please and assign it to mysql?
Done: https://bugs.php.net/bug.php?id=60863 Thanks, Christian -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php