From: <jen...@us...> - 2008-02-18 12:35:53
|
Revision: 599 http://dl-learner.svn.sourceforge.net/dl-learner/?rev=599&view=rev Author: jenslehmann Date: 2008-02-18 04:35:49 -0800 (Mon, 18 Feb 2008) Log Message: ----------- added cli.logLevel option (allowed values: trace, debug, info [default], warn, error, fatal, off) Modified Paths: -------------- trunk/src/dl-learner/org/dllearner/cli/Start.java Modified: trunk/src/dl-learner/org/dllearner/cli/Start.java =================================================================== --- trunk/src/dl-learner/org/dllearner/cli/Start.java 2008-02-18 12:32:36 UTC (rev 598) +++ trunk/src/dl-learner/org/dllearner/cli/Start.java 2008-02-18 12:35:49 UTC (rev 599) @@ -118,7 +118,7 @@ ConsoleAppender consoleAppender = new ConsoleAppender(layout); logger.removeAllAppenders(); logger.addAppender(consoleAppender); - logger.setLevel(Level.INFO); + logger.setLevel(Level.DEBUG); Start start = null; start = new Start(file); @@ -541,6 +541,22 @@ if (!satisfiable) System.exit(0); } + } else if( name.equals("logLevel")) { + String level = cliOption.getStringValue(); + if(level.equals("off")) + logger.setLevel(Level.OFF); + else if(level.equals("trace")) + logger.setLevel(Level.TRACE); + else if(level.equals("info")) + logger.setLevel(Level.INFO); + else if(level.equals("debug")) + logger.setLevel(Level.DEBUG); + else if(level.equals("warn")) + logger.setLevel(Level.WARN); + else if(level.equals("error")) + logger.setLevel(Level.ERROR); + else if(level.equals("fatal")) + logger.setLevel(Level.FATAL); } else handleError("Unknown CLI option \"" + name + "\"."); } This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |