/
formatTime
formatTime
Description
Converts a system time integer into a human-readable text representation.
Functional area
System
Command syntax
Syntax
formatTime time |
Arguments
Name | Type | Required | Comments |
---|---|---|---|
time | int | yes | System time previously obtained using getSystemTime. |
Flags
None
Return value
string
Examples
// 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 );
Additional information
Related commands
, multiple selections available,