diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-24 17:18:28 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-24 17:18:28 -0500 |
| commit | a6c580af25ee9e6112fcb116d9b0d2a09d2ea7cf (patch) | |
| tree | efe3e97abebe7dfe38aa2de03b5511d62c1d028c /src | |
| parent | 466c2aa7a9c1f5bba2ad8630d55e2c2989216091 (diff) | |
Fix Postgres date serialization
Diffstat (limited to 'src')
| -rw-r--r-- | src/c/urweb.c | 17 | ||||
| -rw-r--r-- | src/postgres.sml | 2 |
2 files changed, 17 insertions, 2 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c index 77d39ee7..4038c100 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -2513,7 +2513,7 @@ char *uw_Basis_sqlifyTime(uw_context ctx, uw_Basis_time t) { if (localtime_r(&t, &stm)) { s = uw_malloc(ctx, TIMES_MAX); - len = strftime(s, TIMES_MAX, TIME_FMT, &stm); + len = strftime(s, TIMES_MAX, TIME_FMT_PG, &stm); r = uw_malloc(ctx, len + 14); sprintf(r, "'%s'::timestamp", s); return r; @@ -2536,6 +2536,21 @@ char *uw_Basis_attrifyTime(uw_context ctx, uw_Basis_time t) { return "<Invalid time>"; } +char *uw_Basis_ensqlTime(uw_context ctx, uw_Basis_time t) { + size_t len; + char *r; + struct tm stm; + + if (localtime_r(&t, &stm)) { + uw_check_heap(ctx, TIMES_MAX); + r = ctx->heap.front; + len = strftime(r, TIMES_MAX, TIME_FMT_PG, &stm); + ctx->heap.front += len+1; + return r; + } else + return "<Invalid time>"; +} + char *uw_Basis_sqlifyTimeN(uw_context ctx, uw_Basis_time *t) { if (t == NULL) return "NULL"; diff --git a/src/postgres.sml b/src/postgres.sml index 0acd1bf3..7209f34a 100644 --- a/src/postgres.sml +++ b/src/postgres.sml @@ -654,7 +654,7 @@ fun p_ensql t e = | String => e | Char => box [string "uw_Basis_attrifyChar(ctx, ", e, string ")"] | Bool => box [string "(", e, string " ? \"TRUE\" : \"FALSE\")"] - | Time => box [string "uw_Basis_attrifyTime(ctx, ", e, string ")"] + | Time => box [string "uw_Basis_ensqlTime(ctx, ", e, string ")"] | Blob => box [e, string ".data"] | Channel => box [string "uw_Basis_attrifyChannel(ctx, ", e, string ")"] | Client => box [string "uw_Basis_attrifyClient(ctx, ", e, string ")"] |