is microtime() supposed not to work under win32? If it is, there?s a serious bug in it. The following script works as intended (it produces no lines with an *) running on Linux - the same script under win32 fails at some points (search for "*" and exampine the values around it)...

microtime() *seems* to work under win32, it produces a string with a micro and a timestamp part, subsequent values are raising compared to the ancestor in the micro part - the timestamp part seems *not* to be incremented after the micro part exceeds 0,9(period), it is incremented from time to time - I even don?t know when, perhaps every fourth pass...

If it is not intended to work under win32 a warning should appear OR it should be implemented if possible...


<?
for ($i=1;$i<=10000;$i++)    {
list($micro,$time)=explode(" ",microtime());
$add=$micro+$time;
print ($last? ($add<$last ? '*' : '') :     '')."M\t$micro\tT\t$time\tS\t$ add<BR>";
$last=$add; }
?>