projects
/
org.ibex.core.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Massive improvement in Simplex layout solver
[org.ibex.core.git]
/
src
/
org
/
ibex
/
util
/
Log.java
diff --git
a/src/org/ibex/util/Log.java
b/src/org/ibex/util/Log.java
index
1766be9
..
5d09216
100644
(file)
--- a/
src/org/ibex/util/Log.java
+++ b/
src/org/ibex/util/Log.java
@@
-15,6
+15,7
@@
import java.net.*;
public class Log {
public static boolean on = true;
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;
public static boolean color = false;
public static boolean verbose = false;
public static boolean logDates = false;
@@
-73,11
+74,14
@@
public class Log {
private static String lastClassName = null;
private static synchronized void log(Object o, Object message, int level) {
private static String lastClassName = null;
private static synchronized void log(Object o, Object message, int level) {
- if (level > Log.level) return;
+ if (level < Log.level) return;
if (firstMessage && !logDates) {
firstMessage = false;
logstream.println(colorize(GREEN, 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") +
if (color) diag(Log.class, "logging messages in " +
colorize(BLUE, true, "c") +
colorize(RED, true, "o") +
@@
-126,7
+130,7
@@
public class Log {
try {
String m = "";
while((s = br.readLine()) != null) m += s + "\n";
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"));
}
} catch (IOException e) {
logstream.println(colorize(RED, true, "Logger: exception thrown by ByteArrayInputStream -- this should not happen"));
}