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