2 ||M|| This file is part of HELM, an Hypertextual, Electronic
3 ||A|| Library of Mathematics, developed at the Computer Science
4 ||T|| Department, University of Bologna, Italy.
6 ||T|| HELM is free software; you can redistribute it and/or
7 ||A|| modify it under the terms of the GNU General Public License
8 \ / version 2 or (at your option) any later version.
9 \ / This software is distributed as is, NO WARRANTY.
10 V_______________________________________________________________ *)
18 let times = Unix.times () in
19 let stamp = times.Unix.tms_utime in
20 let lap = stamp -. !old in
21 L.warn (P.sprintf "UTIME STAMP (%s): %f (%f)" msg stamp lap);
25 let gmt = Unix.gmtime (Unix.time ()) in
26 let yy = gmt.Unix.tm_year + 1900 in
27 let mm = gmt.Unix.tm_mon + 1 in
28 let dd = gmt.Unix.tm_mday in
29 let h = gmt.Unix.tm_hour in
30 let m = gmt.Unix.tm_min in
31 let s = gmt.Unix.tm_sec in
33 P.sprintf "UTC TIME STAMP (%s): %u/%u/%u %u:%u:%u" msg yy mm dd h m s