Logiweb(TM)

7.16.14 unixTime

Prev Up Next Page 285 of 800 Search internet


A unixTime request returns the current unix time:

eager define unixTime as lgcio ( UnixTime ) end define

The reply R has form

R = << << r ,, i >> ,, p >>

where p encodes the unix time.

The base page defines a function parse-unixTime ( R ) which converts the reply R into a structure of form << m ,, e >> where m and e are naturals. The return value << m ,, e >> from parse-unixTime indicates that "m \cdot 10 ^ { - e }" seconds have elapsed according to the Unix clock since the Unix epoch.

Note that parse-unixTime ( R ) takes the reply R and not the singleton list p as input.

Prev Up Next Page 285 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05