请检查以下代码的输出。
<?php
define("DSN","somedb");
define("USER","");
define("PASS","");
echo number_format(17, 2, '.', ',');
echo number_format(19, 2, '.', ',');
$dbObj = odbc_connect(DSN,USER,PASS);
echo number_format(17, 2, '.', ',');
echo number_format(19, 2, '.', ',');
?>
现在在 odbc_connect 之后的代码如下：
echo number_format(17, 2, '.', ',');
预期输出是
17.00
但它给出了输出
16:0
同样的事情也发生在 19 岁。对于所有其他数字，输出符合预期。
我正在使用 Windows Server 2008、apache 2.2、php 5.2.17
我找到了这个
https://bugs.php.net/bug.php?id=47418&edit=1
但这并没有给出解决方案
谁能告诉我有什么问题。我相信你们中的一些人已经遇到过这个问题。所以请让我知道这是什么以及如何解决/克服它。