comparison src/c/urweb.c @ 1376:a8ba2952b210

Fix new urlifyTime to work properly on 32-bit systems
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Dec 2010 12:27:19 -0500
parents f294173d87db
children 730b3d0de1c1
comparison
equal deleted inserted replaced
1375:f294173d87db 1376:a8ba2952b210
1772 1772
1773 return uw_unit_v; 1773 return uw_unit_v;
1774 } 1774 }
1775 1775
1776 uw_Basis_string uw_Basis_urlifyTime(uw_context ctx, uw_Basis_time t) { 1776 uw_Basis_string uw_Basis_urlifyTime(uw_context ctx, uw_Basis_time t) {
1777 return uw_Basis_urlifyInt(ctx, t.seconds * 1000000 + t.microseconds); 1777 return uw_Basis_urlifyInt(ctx, (uw_Basis_int)t.seconds * 1000000 + t.microseconds);
1778 } 1778 }
1779 1779
1780 uw_unit uw_Basis_urlifyString_w(uw_context ctx, uw_Basis_string s) { 1780 uw_unit uw_Basis_urlifyString_w(uw_context ctx, uw_Basis_string s) {
1781 if (s[0] == '\0') { 1781 if (s[0] == '\0') {
1782 uw_check(ctx, 1); 1782 uw_check(ctx, 1);