Fixed bug#38785: float to string cast is always subject to locale settings

(Copy&paste from man 3 strtod (s/program/script))


git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@224252 c90b9560-bf6c-de11-be94-00142212c4b1
This commit is contained in:
Hannes Magnusson 2006-12-03 10:32:07 +00:00
parent 52a4333c73
commit 56b1cbc1a9

View file

@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
<!-- $Revision: 1.169 $ -->
<!-- $Revision: 1.170 $ -->
<chapter id="language.types">
<title>Types</title>
@ -1262,6 +1262,13 @@ $foo = "10.0 pigs " + 1.0; // $foo is float (11)
]]>
</programlisting>
</informalexample>
<note>
<para>
The decimal point character is defined in the script's
locale (category LC_NUMERIC).
See <function>setlocale</function>.
</para>
</note>
<simpara>
For more information on this conversion, see the Unix manual page
for strtod(3).