small bugfix regarding dc formatted time

[mir.git] / source / mir / util / DateToMapAdapter.java

diff --git a/source/mir/util/DateToMapAdapter.java b/source/mir/util/DateToMapAdapter.java
index 425465e..cd77de1 100755 (executable)
--- a/source/mir/util/DateToMapAdapter.java
+++ b/source/mir/util/DateToMapAdapter.java
@@ -3,6 +3,8 @@ package mir.util;
 import java.util.*;
 import java.text.*;
 
+import mir.misc.*;
+
 public class DateToMapAdapter extends AbstractMap {
   Date date;
 
@@ -12,7 +14,19 @@ public class DateToMapAdapter extends AbstractMap {
 
   public Object get(Object aKey) {
     if (aKey instanceof String) {
-      return new SimpleDateFormat((String) aKey).format(date);
+      try {
+        // ML: quick fix to allow for the dc encoding now...
+        if (((String) aKey).equals("dc")) {
+          GregorianCalendar calendar = new GregorianCalendar();
+          calendar.setTime(date);
+          return StringUtil.date2w3DateTime(calendar);
+        }
+        else
+          return new SimpleDateFormat((String) aKey).format(date);
+      }
+      catch (Throwable t) {
+        throw new RuntimeException( "Can't format date with format " + (String) aKey + ": " + t.getMessage());
+      }
     }
     else return null;
   }