Integer datetime by default

Neil Conway <neilc@samurai.com>

From: Neil Conway <neilc@samurai.com>

To: pgsql-patches <pgsql-patches@postgresql.org>

Date: 2008-03-25T19:54:46Z

Lists: pgsql-hackers

Attachments

integer_datetime_default-3.patch (text/x-patch) patch

Attached is a refreshed patch that makes integer datetimes the default.
Platforms that don't have a working 64-bit integer type will fail to
configure by default; they can specify "--disable-integer-datetimes" to
switch back to using floating-point based datetimes.

Barring any objections, I'll apply this to HEAD tomorrow.

-Neil