Hello,
I could reproduce this with pre1, but latest CVS works fine again. Can
you try?
Derick
On Thu, 17 Oct 2002, Mike Robinson wrote:
?php
printf(%01.2f,-2999/100);
echo br;
printf(%01.2f,-3000/100);
echo br;
printf(%01.2f,-3000/100);
echo br;
Yup, I just grabbed a checkout and its fixed.
That was a weird one.
Regards
Mike Robinson
Derick Rethans wrote:
Hello,
I could reproduce this with pre1, but latest CVS works fine
again. Can
you try?
Derick
On Thu, 17 Oct 2002, Mike Robinson wrote:
?php
Derick Rethans wrote:
I could reproduce this with pre1, but latest CVS works fine again. Can
you try?
You gotta love bugkilling :)
--
* Tom Sommer
* http://www.tsn.dk | webmaster(a)tsn.dk
* Any sufficiently advanced bug is indistinguishable from a feature
--
PHP Development Mailing List
