Bug #17815 Updated: Zend scanner + setlocale() = wrong floating point numbers
| From: | sander@php.net | Date: | Tue, 18 Jun 2002 16:26:16 +0000 |
| Subject: | Bug #17815 Updated: Zend scanner + setlocale() = wrong floating point numbers | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-11155@lists.php.net to get a copy of this message | ||
ID: 17815
Updated by: sander@php.net
Reported By: sitnikov@infonet.ee
-Status: Open
+Status: Duplicate
Bug Type: Scripting Engine problem
Operating System: Linux
PHP Version: 4.2.1
New Comment:
There's already a report for this: 17105
Previous Comments:
------------------------------------------------------------------------
[2002-06-18 11:29:23] sitnikov@infonet.ee
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 this bug report at http://bugs.php.net/?id=17815&edit=1