changeset 1839:d8c260bcc1f9

Fix determination of MySQL timestamp hour fields (may still be wrong once DST bit flips)
author Adam Chlipala <adam@chlipala.net>
date Thu, 13 Dec 2012 17:51:34 -0500
parents 6ec243437d12
children 146ec8e90063
files src/mysql.sml
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/mysql.sml	Wed Dec 12 16:42:15 2012 -0500
+++ b/src/mysql.sml	Thu Dec 13 17:51:34 2012 -0500
@@ -1098,7 +1098,7 @@
                                                                     string ".month = tms.tm_mon + 1;",
                                                                     newline],
                                                                oneField "day" "mday",
-                                                               oneField "hour" "hour - 1",
+                                                               oneField "hour" "hour",
                                                                oneField "minute" "min",
                                                                oneField "second" "sec",
                                                                newline,
@@ -1379,7 +1379,7 @@
                                                                oneField "year" "year + 1900",
                                                                oneField "month" "mon + 1",
                                                                oneField "day" "mday",
-                                                               oneField "hour" "hour - 1",
+                                                               oneField "hour" "hour",
                                                                oneField "minute" "min",
                                                                oneField "second" "sec",
                                                                newline,