Mercurial > urweb
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), |