microtime()

[Gast]

if ( mysql_num_rows($res) ) // null abfangen
{
  list($usec, $sec) = explode(" ", microtime()); // $usec = 0 .. 999
  $mikro_pro = $usec /999 *100; // 999 = 100%
  $satz_nr   = round(mysql_num_rows($res) *$mikro_pro /100);
}[/code]

Funzt nicht wie erwartet. $usec hat sowas wie 0.74164200

Die Beschreibung zu microtime() lautet:

"Standardmäßig gibt microtime() einen string im Format "Mikrosekunden Sekunden" zurück, wobei Sekunden die aktuelle Zeit gemessen in Sekunden seit Beginn der Unix Epoche (01. Januar 1970 00:00:00 GMT) ist und Mikrosekunden die Anzahl an Mikrosekunden ist, die seit Sekunden vergangen sind."

Ja, ich weiss, Programmieren ist wenig Logik und viel Probieren. Also probiere ich und multipliziere die Mikrosekunden mit Tausend, um Mikrosekunen zu bekommen.