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)

diff --git a/source/mir/storage/Database.java b/source/mir/storage/Database.java
index 43dcad9..9f56efc 100755 (executable)
--- a/source/mir/storage/Database.java
+++ b/source/mir/storage/Database.java
@@ -252,9 +252,13 @@ public class Database implements StorageObject {
                                                        //outValue = StringUtil.encodeHtml(StringUtil.unquote(outValue));
                                                break;
                                        case java.sql.Types.TIMESTAMP:
-                                               Timestamp timestamp = (rs.getTimestamp(valueIndex));
+                                               //Timestamp timestamp = (rs.getTimestamp(valueIndex));
+                                               //jbdc drops time zone info, 
+                                               //so just get the string from 
+                                               //postgres
+                                               String timestamp = (rs.getString(valueIndex));
                                                if (!rs.wasNull()) {
-                                                       outValue = timestamp.toString();
+                                                       outValue = timestamp;
                                                }
                                                break;
                                        default: