return JLogger.toLevel(level);
}
+ public static JLogger getLogger()
+ {
+ return log;
+ }
+
public static boolean initLogger()
{
return initLogger(null);
JLogger.LogLevel logLevel = JLogger.LogLevel.INFO;
if (JLogger.isLevel(providedLogLevel))
+ {
logLevel = Console.getLogLevel(providedLogLevel);
+ }
else
+ {
logLevel = getCachedLogLevel();
+ }
if (!Platform.isJS())
{
- if (Jalview.getInstance() == null || (Jalview.getInstance() != null
- && !Jalview.getInstance().quiet()))
+ if (!Jalview.quiet())
{
System.err.println(
"Setting initial log level to " + logLevel.name());