public class Log {
public static boolean on = true;
+ public static boolean rpc = false;
public static boolean color = false;
public static boolean verbose = false;
public static boolean logDates = false;
if (firstMessage && !logDates) {
firstMessage = false;
logstream.println(colorize(GREEN, false, "==========================================================================="));
- diag(Log.class, "Logging enabled at " + new java.util.Date());
+
+ // FIXME later: causes problems with method pruning
+ //diag(Log.class, "Logging enabled at " + new java.util.Date());
+
if (color) diag(Log.class, "logging messages in " +
colorize(BLUE, true, "c") +
colorize(RED, true, "o") +
try {
String m = "";
while((s = br.readLine()) != null) m += s + "\n";
- log(o, m.substring(0, m.length() - 1), level);
+ if (m.length() > 0) log(o, m.substring(0, m.length() - 1), level);
} catch (IOException e) {
logstream.println(colorize(RED, true, "Logger: exception thrown by ByteArrayInputStream -- this should not happen"));
}