# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1355439094 18000
# Node ID d8c260bcc1f9dd4eb8bf78ac90c865ab10b0f285
# Parent  6ec243437d128b6119b5344d8e5673d102b4c612
Fix determination of MySQL timestamp hour fields (may still be wrong once DST bit flips)

diff -r 6ec243437d12 -r d8c260bcc1f9 src/mysql.sml
--- 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,