diff src/c/urweb.c @ 488:5521bb0b4014

Get preliminary ThreadedBlog working
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 15:12:24 -0500
parents c9566d49ecfe
children ae03d09043c1
line wrap: on
line diff
--- a/src/c/urweb.c	Tue Nov 11 11:49:51 2008 -0500
+++ b/src/c/urweb.c	Tue Nov 11 15:12:24 2008 -0500
@@ -557,6 +557,10 @@
   return uw_unit_v;
 }
 
+uw_Basis_string uw_Basis_urlifyTime(uw_context ctx, uw_Basis_time t) {
+  return uw_Basis_urlifyInt(ctx, t);
+}
+
 uw_unit uw_Basis_urlifyString_w(uw_context ctx, uw_Basis_string s) {
   uw_check(ctx, strlen(s) * 3);
 
@@ -615,6 +619,10 @@
   return r;
 }
 
+uw_Basis_time uw_Basis_unurlifyTime(uw_context ctx, char **s) {
+  return uw_Basis_unurlifyInt(ctx, s);
+}
+
 static uw_Basis_string uw_unurlifyString_to(uw_context ctx, char *r, char *s) {
   char *s1, *s2;
   int n;