From c723667d402b730edc4059cb132587977893b42a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 22 Jul 2011 15:39:38 -0400 Subject: Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds --- include/urweb.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'include') diff --git a/include/urweb.h b/include/urweb.h index 1b10583f..b5692a6d 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -252,6 +252,8 @@ __attribute__((noreturn)) void uw_redirect(uw_context, uw_Basis_string url); uw_Basis_time uw_Basis_now(uw_context); uw_Basis_time uw_Basis_addSeconds(uw_context, uw_Basis_time, uw_Basis_int); +uw_Basis_int uw_Basis_diffInSeconds(uw_context, uw_Basis_time, uw_Basis_time); +uw_Basis_int uw_Basis_toSeconds(uw_context, uw_Basis_time); extern const uw_Basis_time uw_Basis_minTime; void uw_register_transactional(uw_context, void *data, uw_callback commit, uw_callback rollback, uw_callback_with_retry free); -- cgit v1.2.3