equal
deleted
inserted
replaced
41 ColorfulConsoleFormatter formatter = new ColorfulConsoleFormatter(); |
41 ColorfulConsoleFormatter formatter = new ColorfulConsoleFormatter(); |
42 |
42 |
43 logger.addHandler(handler); |
43 logger.addHandler(handler); |
44 handler.setFormatter(formatter); |
44 handler.setFormatter(formatter); |
45 |
45 |
46 setLevel(logger, handler); |
46 setLevel(logger, handler, formatter); |
47 |
47 |
48 |
48 |
49 /** |
49 /** |
50 * TODO: FileHandler – detailed logs in file in ~/sql-dk/log/… |
50 * TODO: FileHandler – detailed logs in file in ~/sql-dk/log/… |
51 */ |
51 */ |
52 } |
52 } |
53 |
53 |
54 private void setLevel(Logger logger, Handler handler) { |
54 private void setLevel(Logger logger, Handler handler, ColorfulConsoleFormatter formatter) { |
55 boolean levelParseError = false; |
55 boolean levelParseError = false; |
56 Level level; |
56 Level level; |
57 String cliLevel = System.getProperty(LEVEL_PROPERTY); |
57 String cliLevel = System.getProperty(LEVEL_PROPERTY); |
58 if (cliLevel == null) { |
58 if (cliLevel == null) { |
59 level = DEFAULT_LEVEL; |
59 level = DEFAULT_LEVEL; |
70 logger.setLevel(level); |
70 logger.setLevel(level); |
71 |
71 |
72 if (levelParseError) { |
72 if (levelParseError) { |
73 log.log(Level.WARNING, "Invalid logging level „{0}“ specified in „{1}“ → using default level „{2}“", new Object[]{cliLevel, LEVEL_PROPERTY, DEFAULT_LEVEL}); |
73 log.log(Level.WARNING, "Invalid logging level „{0}“ specified in „{1}“ → using default level „{2}“", new Object[]{cliLevel, LEVEL_PROPERTY, DEFAULT_LEVEL}); |
74 } |
74 } |
|
75 |
|
76 formatter.setPrintStacktrace(level.intValue() < Level.INFO.intValue()); |
75 } |
77 } |
76 } |
78 } |