Changeset 5595 for trunk/gli/src/org/greenstone/gatherer/util/Utility.java

Timestamp:

2003-10-07T16:22:55+13:00 (21 years ago)

Author:

mdewsnip

Message:

A few more minor changes to tidy up the dictionary.

File:

• trunk/gli/src/org/greenstone/gatherer/util/Utility.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/util/Utility.java

@@ -540 +540 @@
     String day_name = null;
     switch(current.get(Calendar.DAY_OF_WEEK)) {
-    case Calendar.MONDAY: day_name = "Mon"; break;
-    case Calendar.TUESDAY: day_name = "Tue"; break;
-    case Calendar.WEDNESDAY: day_name = "Wed"; break;
-    case Calendar.THURSDAY: day_name = "Thu"; break;
-    case Calendar.FRIDAY: day_name = "Fri"; break;
-    case Calendar.SATURDAY: day_name = "Sat"; break;
-    case Calendar.SUNDAY: day_name = "Sun"; break;
+    case Calendar.MONDAY: day_name = "Dates.Mon"; break;
+    case Calendar.TUESDAY: day_name = "Dates.Tue"; break;
+    case Calendar.WEDNESDAY: day_name = "Dates.Wed"; break;
+    case Calendar.THURSDAY: day_name = "Dates.Thu"; break;
+    case Calendar.FRIDAY: day_name = "Dates.Fri"; break;
+    case Calendar.SATURDAY: day_name = "Dates.Sat"; break;
+    case Calendar.SUNDAY: day_name = "Dates.Sun"; break;
     default: day_name = "";
     }
     String month_name = null;
     switch(current.get(Calendar.MONTH)) {
-    case Calendar.JANUARY: month_name = "Jan"; break;
-    case Calendar.FEBRUARY: month_name = "Feb"; break;
-    case Calendar.MARCH: month_name = "Mar"; break;
-    case Calendar.APRIL: month_name = "Apr"; break;
-    case Calendar.MAY: month_name = "May"; break;
-    case Calendar.JUNE: month_name = "Jun"; break;
-    case Calendar.JULY: month_name = "Jul"; break;
-    case Calendar.AUGUST: month_name = "Aug"; break;
-    case Calendar.SEPTEMBER: month_name = "Sep"; break;
-    case Calendar.OCTOBER: month_name = "Oct"; break;
-    case Calendar.NOVEMBER: month_name = "Nov"; break;
-    case Calendar.DECEMBER: month_name = "Dec"; break;
+    case Calendar.JANUARY: month_name = "Dates.Jan"; break;
+    case Calendar.FEBRUARY: month_name = "Dates.Feb"; break;
+    case Calendar.MARCH: month_name = "Dates.Mar"; break;
+    case Calendar.APRIL: month_name = "Dates.Apr"; break;
+    case Calendar.MAY: month_name = "Dates.May"; break;
+    case Calendar.JUNE: month_name = "Dates.Jun"; break;
+    case Calendar.JULY: month_name = "Dates.Jul"; break;
+    case Calendar.AUGUST: month_name = "Dates.Aug"; break;
+    case Calendar.SEPTEMBER: month_name = "Dates.Sep"; break;
+    case Calendar.OCTOBER: month_name = "Dates.Oct"; break;
+    case Calendar.NOVEMBER: month_name = "Dates.Nov"; break;
+    case Calendar.DECEMBER: month_name = "Dates.Dec"; break;
     default: month_name = "";
     }
@@ -571 +571 @@
     int year = current.get(Calendar.YEAR);
 
-    return Dictionary.get("Dates." + day_name) + " " + Dictionary.get("Dates." + month_name) + " " + day + " " + year + " " + Utility.pad(String.valueOf(hour), 2, '0', true) + ":" + Utility.pad(String.valueOf(minute), 2, '0', true) + ":" + Utility.pad(String.valueOf(second), 2, '0', true);
+    return Dictionary.get(day_name) + " " + Dictionary.get(month_name) + " " + day + " " + year + " " + Utility.pad(String.valueOf(hour), 2, '0', true) + ":" + Utility.pad(String.valueOf(minute), 2, '0', true) + ":" + Utility.pad(String.valueOf(second), 2, '0', true);
     }