diff src/c/urweb.c @ 1404:82b204f20026

Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Jan 2011 10:40:40 -0500
parents d6ea63612909
children 7d963b8019e6
line wrap: on
line diff
--- a/src/c/urweb.c	Tue Jan 18 13:32:48 2011 -0500
+++ b/src/c/urweb.c	Thu Jan 20 10:40:40 2011 -0500
@@ -1773,6 +1773,10 @@
   return uw_Basis_urlifyInt(ctx, (uw_Basis_int)t.seconds * 1000000 + t.microseconds);
 }
 
+uw_unit uw_Basis_urlifyTime_w(uw_context ctx, uw_Basis_time t) {
+  return uw_Basis_urlifyInt_w(ctx, (uw_Basis_int)t.seconds * 1000000 + t.microseconds);
+}
+
 uw_unit uw_Basis_urlifyString_w(uw_context ctx, uw_Basis_string s) {
   if (s[0] == '\0') {
     uw_check(ctx, 1);