/inc/time_lib.php

Description

tools to mesure time

Functions
display_exe_time (line 37)

combine both previous to deliver a formated result

void display_exe_time (int $time_start, str $comment)
  • int $time_start
  • str $comment
exetime (line 24)

calculate duration from 2 times

int exetime (int $t_start, int $t_end)
  • int $t_start
  • int $t_end
getmicrotime (line 11)

get time in microsecond, and format in second

float getmicrotime ()

Documentation generated on Mon, 31 Mar 2008 21:17:35 +0200 by phpDocumentor 1.3.0RC3