udebug-64bit-time_t-vs-printf-20080428
authorJeffrey Altman <jaltman@secure-endpoints.com>
Mon, 28 Apr 2008 16:18:52 +0000 (16:18 +0000)
committerJeffrey Altman <jaltman@secure-endpoints.com>
Mon, 28 Apr 2008 16:18:52 +0000 (16:18 +0000)
commit25d9dbb6be970d54c4711890b2085c153eda15fa
treedf831dae641d5658f20f1703f4c78edcbff55f5e
parent2f2d5fd8a7e80802fead9ee944e33c1a0c818abd
udebug-64bit-time_t-vs-printf-20080428

LICENSE MIT

64-bit time_t values cannot be passed to printf() for evaluation
by a %d variable.  To avoid the problem we cast the value to int.
src/ubik/udebug.c