mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

kenneth_suter
17.27.2007 29be609adb8377a6535926fc33c9f5906a4ec696
opends/src/server/org/opends/server/tools/tasks/TaskEntry.java
@@ -454,9 +454,10 @@
        }
        Date date = dateFormat.parse(timeString);
        DateFormat df = DateFormat.getDateTimeInstance(
                DateFormat.FULL,
                DateFormat.FULL);
        ret = Message.raw(df.format(date));
                DateFormat.MEDIUM,
                DateFormat.LONG);
        String dateString = df.format(date);
        ret = Message.raw(dateString);
      } catch (ParseException pe){
        ret = Message.raw(timeString);
      }