comparison src/mysql.sml @ 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 690638bd9fef
children 2f33d9a51765
comparison
equal deleted inserted replaced
1838:6ec243437d12 1839:d8c260bcc1f9
1096 box [string "in_buffer", 1096 box [string "in_buffer",
1097 string (Int.toString i), 1097 string (Int.toString i),
1098 string ".month = tms.tm_mon + 1;", 1098 string ".month = tms.tm_mon + 1;",
1099 newline], 1099 newline],
1100 oneField "day" "mday", 1100 oneField "day" "mday",
1101 oneField "hour" "hour - 1", 1101 oneField "hour" "hour",
1102 oneField "minute" "min", 1102 oneField "minute" "min",
1103 oneField "second" "sec", 1103 oneField "second" "sec",
1104 newline, 1104 newline,
1105 string "in[", 1105 string "in[",
1106 string (Int.toString i), 1106 string (Int.toString i),
1377 string ": error converting to MySQL time\");", 1377 string ": error converting to MySQL time\");",
1378 newline, 1378 newline,
1379 oneField "year" "year + 1900", 1379 oneField "year" "year + 1900",
1380 oneField "month" "mon + 1", 1380 oneField "month" "mon + 1",
1381 oneField "day" "mday", 1381 oneField "day" "mday",
1382 oneField "hour" "hour - 1", 1382 oneField "hour" "hour",
1383 oneField "minute" "min", 1383 oneField "minute" "min",
1384 oneField "second" "sec", 1384 oneField "second" "sec",
1385 newline, 1385 newline,
1386 string "in[", 1386 string "in[",
1387 string (Int.toString i), 1387 string (Int.toString i),