Bug #17815: Zend scanner + setlocale() = wrong floating point numbers

From: sitnikov@infonet.ee Operating system: Linux PHP version: 4.2.1 PHP Bug Type: Scripting Engine problem Bug description: Zend scanner + setlocale() = wrong floating point numbers a.php <? setlocale(LC_ALL,'ru_RU'); $a = 1.3; var_dump($a); include('b.php'); ?> b.php <? $a = 1.3; var_dump($a); ?> shell>GET http://host/a.php float(1.3) float(1) ru_RU use , for decimal separator. Workaround for this bug: setlocale(LC_NUMERIC,'C'); -- Edit bug report at http://bugs.php.net/?id=17815&edit=1 -- Fixed in CVS: http://bugs.php.net/fix.php?id=17815&r=fixedcvs Fixed in release: http://bugs.php.net/fix.php?id=17815&r=alreadyfixed Need backtrace: http://bugs.php.net/fix.php?id=17815&r=needtrace Try newer version: http://bugs.php.net/fix.php?id=17815&r=oldversion Not developer issue: http://bugs.php.net/fix.php?id=17815&r=support Expected behavior: http://bugs.php.net/fix.php?id=17815&r=notwrong Not enough info: http://bugs.php.net/fix.php?id=17815&r=notenoughinfo Submitted twice: http://bugs.php.net/fix.php?id=17815&r=submittedtwice register_globals: http://bugs.php.net/fix.php?id=17815&r=globals