The issue was fixed upstream. Attached patch (from upstream fix - http://git.php.net/?p=php-src.git;a=patch;h=4fc989fbbd0405d200872219b409f685a495f3aa;hp=487e2fc0d50aca979864b59ff01450cf5e381874) applies clearly to current Ubuntu php version and fixes the issue.
-- Best regards, Alexander Pyhalov, system administrator of Computer Center of Southern Federal University
The issue was fixed upstream. Attached patch (from upstream fix - git.php. net/?p= php-src. git;a=patch; h=4fc989fbbd040 5d200872219b409 f685a495f3aa; hp=487e2fc0d50a ca979864b59ff01 450cf5e381874)
http://
applies clearly to current Ubuntu php version and fixes the issue.
--
Best regards,
Alexander Pyhalov,
system administrator of Computer Center of Southern Federal University