print CLI options problems if any v_0
authorFrantišek Kučera <franta-hg@frantovo.cz>
Tue, 24 Dec 2013 01:20:57 +0100
branchv_0
changeset 4828735e71a1da
parent 47 92b83789330a
child 49 b4c74461d0f9
print CLI options problems if any
java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java
     1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java	Tue Dec 24 00:15:35 2013 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java	Tue Dec 24 01:20:57 2013 +0100
     1.3 @@ -60,6 +60,9 @@
     1.4  			log.log(Level.SEVERE, "Unable to parse CLI options", e);
     1.5  		} catch (InvalidOptionsException e) {
     1.6  			log.log(Level.SEVERE, "Invalid CLI options", e);
     1.7 +			for (InvalidOptionsException.OptionProblem p : e.getProblems()) {
     1.8 +				log.log(Level.SEVERE, "Option problem: {0}", p.getDescription());
     1.9 +			}
    1.10  		} catch (ConfigurationException e) {
    1.11  			log.log(Level.SEVERE, "Configuration problem", e);
    1.12  		} catch (SQLException e) {