{
return !isMac();
}
+
+ public final static int TIME_RESET = 0;
+ public final static int TIME_MARK = 1;
+
+ public static long time, mark;
+
+ public static void timeCheck(String msg, int mode) {
+ switch (mode) {
+ case TIME_RESET:
+ time = mark = System.currentTimeMillis();
+ System.err.println("Platform: timer reset\t\t\t" + msg);
+ break;
+ case TIME_MARK:
+ long t = System.currentTimeMillis();
+ if (time == 0)
+ time = mark = t;
+ System.err.println("Platform: timer mark\t" + ((t - time)/1000f) + "\t" + ((t - mark)/1000f) + "\t" + msg);
+ mark = t;
+ break;
+ }
+ }
+
}