--- a/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java Sat Dec 28 12:19:39 2013 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java Sat Dec 28 16:45:04 2013 +0100
@@ -202,7 +202,9 @@
}
private Formatter getFormatter() throws ConfigurationException, FormatterException {
- FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(options.getFormatterName());
+ String formatterName = options.getFormatterName();
+ formatterName = formatterName == null ? Configuration.DEFAULT_FORMATTER_PREFETCHING : formatterName;
+ FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(formatterName);
FormatterContext context = new FormatterContext(out);
return fd.getInstance(context);
}