From 318b5ebe2d34aa2bd2496765695308976da9ea1e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 24 Dec 2010 18:08:29 -0500
Subject: Changed uw_Basis_time to store microseconds

---
 include/types.h | 5 ++++-
 include/urweb.h | 4 ++++
 2 files changed, 8 insertions(+), 1 deletion(-)

(limited to 'include')

diff --git a/include/types.h b/include/types.h
index 01776213..37fcfb7f 100644
--- a/include/types.h
+++ b/include/types.h
@@ -9,7 +9,10 @@ typedef long long uw_Basis_int;
 typedef double uw_Basis_float;
 typedef char* uw_Basis_string;
 typedef char uw_Basis_char;
-typedef time_t uw_Basis_time;
+typedef struct {
+  time_t seconds;
+  unsigned microseconds;
+} uw_Basis_time;
 typedef struct {
   size_t size;
   char *data;
diff --git a/include/urweb.h b/include/urweb.h
index f0c14d85..52c0caf5 100644
--- a/include/urweb.h
+++ b/include/urweb.h
@@ -305,4 +305,8 @@ uw_Basis_time uw_Basis_stringToTimef_error(uw_context, const char *fmt, uw_Basis
 
 uw_Basis_string uw_Basis_crypt(uw_context, uw_Basis_string key, uw_Basis_string salt);
 
+uw_Basis_bool uw_Basis_eq_time(uw_context, uw_Basis_time, uw_Basis_time);
+uw_Basis_bool uw_Basis_lt_time(uw_context, uw_Basis_time, uw_Basis_time);
+uw_Basis_bool uw_Basis_le_time(uw_context, uw_Basis_time, uw_Basis_time);
+
 #endif
-- 
cgit v1.2.3