blob: ea5b45ae76f3cf4e8335358be4e4e2588dd1481c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
/***********************************************************************/
/* */
/* Objective Caml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */
/* */
/***********************************************************************/
/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
#include <time.h>
#include "unixsupport.h"
static time_t initial_time = 0; /* 0 means uninitialized */
static DWORD initial_tickcount;
value unix_gettimeofday(value unit) /* ML */
{
if (initial_time == 0) {
initial_tickcount = GetTickCount();
initial_time = time(NULL);
return copy_double((double) initial_time);
} else {
return copy_double(initial_time +
(GetTickCount() - initial_tickcount) * 1e-3);
}
}
|