public static boolean on = true;
public static boolean verbose = false;
public static boolean logDates = false;
- public static int lastDate = 0;
+ public static Date lastDate = null;
/** true iff nothing has yet been logged */
public static boolean firstMessage = true;
classname = classname + ": ";
if (logDates) {
- Calendar c = GregorianCalendar.getInstance();
- Date d = c.getTime();
- int change = c.get(Calendar.DAY_OF_YEAR) + c.get(Calendar.YEAR);
-
- if (change != lastDate) {
- lastDate = change;
+ Date d = new Date();
+ if (lastDate == null || d.getYear() != lastDate.getYear() || d.getMonth() != lastDate.getMonth() || d.getDay() != lastDate.getDay()) {
String now = new java.text.SimpleDateFormat("EEE dd MMM yyyy").format(d);
System.err.println();
System.err.println("=== " + now + " ==========================================================");
}
java.text.DateFormat df = new java.text.SimpleDateFormat("[EEE HH:mm:ss] ");
classname = df.format(d) + classname;
+ lastDate = d;
}