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

Browser not supported