got rid of use of jdbc's result_set.getTimestamp() method, which loses
authorjohn <john>
Thu, 18 Apr 2002 08:56:45 +0000 (08:56 +0000)
committerjohn <john>
Thu, 18 Apr 2002 08:56:45 +0000 (08:56 +0000)
commit3fc5f79577f52b24c924a49e06432fa48964bbdc
treedca16318c38ae8af0e97ef611dcc8b4b03796c61
parent3a0b52462aac3c8ef7ee467348853e3cc6bd254d
got rid of use of jdbc's result_set.getTimestamp() method, which loses
information which is stored by postgres

replaced with ordinary result_set.getString(), which returns a compatible
string to timestamp.toString(), which is what is expected(plus some extra
info on the end-the worst thing that can happen is a little bit of table
stretching in the admin pages)
source/mir/storage/Database.java