Re: [Fwd: Re: [Demexp-dev] Which timestamp at each modification?]

[David MENTRE]

Hello,

luna <address@hidden> writes:

> number of seconds : TAI or UTC ?

OCaml time returns the current time since 00:00:00 GMT, Jan. 1, 1970, in
seconds. I suppose GMT equals UTC.

What does TAI means?

>From Unix man page time(2) :
       POSIX.1 defines seconds since the Epoch as a value to be interpreted as
       the number of seconds between a specified time and the Epoch, according
       to a formula for conversion from UTC equivalent to  conversion  on  the
       naïve  basis that leap seconds are ignored and all years divisible by 4
       are leap years.  This value is not the same as  the  actual  number  of
       seconds  between  the  time  and the Epoch, because of leap seconds and
       because clocks are not required to be synchronised to a standard refer-
       ence.   The  intention  is that the interpretation of seconds since the
       Epoch values be consistent; see  POSIX.1  Annex  B  2.2.2  for  further
       rationale.

Yours,
d.

(optional) PS: does I know you?
-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A