java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java
branchv_0
changeset 48 28735e71a1da
parent 42 6fdaa4db3943
child 55 f5ed7c4efacc
equal deleted inserted replaced
47:92b83789330a 48:28735e71a1da
    58 			starter.process();
    58 			starter.process();
    59 		} catch (CLIParserException e) {
    59 		} catch (CLIParserException e) {
    60 			log.log(Level.SEVERE, "Unable to parse CLI options", e);
    60 			log.log(Level.SEVERE, "Unable to parse CLI options", e);
    61 		} catch (InvalidOptionsException e) {
    61 		} catch (InvalidOptionsException e) {
    62 			log.log(Level.SEVERE, "Invalid CLI options", e);
    62 			log.log(Level.SEVERE, "Invalid CLI options", e);
       
    63 			for (InvalidOptionsException.OptionProblem p : e.getProblems()) {
       
    64 				log.log(Level.SEVERE, "Option problem: {0}", p.getDescription());
       
    65 			}
    63 		} catch (ConfigurationException e) {
    66 		} catch (ConfigurationException e) {
    64 			log.log(Level.SEVERE, "Configuration problem", e);
    67 			log.log(Level.SEVERE, "Configuration problem", e);
    65 		} catch (SQLException e) {
    68 		} catch (SQLException e) {
    66 			log.log(Level.SEVERE, "SQL problem", e);
    69 			log.log(Level.SEVERE, "SQL problem", e);
    67 		} catch (FormatterException e) {
    70 		} catch (FormatterException e) {