java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java
branchv_0
changeset 89 98d18e9a357b
parent 75 43aa4625ab7e
child 91 43e8d52091d5
--- 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);
 	}