Converts a system time integer into a human-readable text representation.
System
formatTime time |
Name | Type | Required | Comments |
---|---|---|---|
time | int | yes | System time previously obtained using getSystemTime. |
None
string
// Calculate how long it takes to go through a 1,000,000 // iteration loop. It's about 3 seconds on a 3ghz machine. int $i, $startTime, $endTime; string $timeStr; // Get the start time $startTime = `getSystemTime`; $timeStr = `formatTime $startTime`; print $timeStr; // Do an empty, lengthy loop while( $i < 1000000 ){ $i += 1;} |
// Get the end time $endTime = `getSystemTime`; $timeStr = `formatTime $endTime`; print $timeStr; // Now get the execution time print int( $endTime - $startTime ); |