public static boolean on = true;
public static boolean verbose = false;
public static boolean logDates = false;
- public static Date lastDate = null;
+ public static int lastDate = 0;
/** true iff nothing has yet been logged */
public static boolean firstMessage = true;
classname = classname + ": ";
if (logDates) {
- Date d = new Date();
- if (lastDate == null || d.getYear() != lastDate.getYear() || d.getMonth() != lastDate.getMonth() || d.getDay() != lastDate.getDay()) {
+ 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;
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;
}