# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1387844457 -3600
# Node ID 28735e71a1daa9cf7538d114fb990706e9afe99e
# Parent  92b83789330a67a4b0519e56fd490e566cfb2b8a
print CLI options problems if any

diff -r 92b83789330a -r 28735e71a1da java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java
--- a/java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java	Tue Dec 24 00:15:35 2013 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/CLIStarter.java	Tue Dec 24 01:20:57 2013 +0100
@@ -60,6 +60,9 @@
 			log.log(Level.SEVERE, "Unable to parse CLI options", e);
 		} catch (InvalidOptionsException e) {
 			log.log(Level.SEVERE, "Invalid CLI options", e);
+			for (InvalidOptionsException.OptionProblem p : e.getProblems()) {
+				log.log(Level.SEVERE, "Option problem: {0}", p.getDescription());
+			}
 		} catch (ConfigurationException e) {
 			log.log(Level.SEVERE, "Configuration problem", e);
 		} catch (SQLException e) {