diff -r 5410b6afc839 -r 245f1b88a3e6 java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java --- a/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java Mon Dec 30 23:46:41 2013 +0100 +++ b/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java Tue Dec 31 17:35:33 2013 +0100 @@ -214,7 +214,7 @@ String formatterName = options.getFormatterName(); formatterName = formatterName == null ? Configuration.DEFAULT_FORMATTER_PREFETCHING : formatterName; FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(formatterName); - FormatterContext context = new FormatterContext(out); + FormatterContext context = new FormatterContext(out, options.getFormatterProperties()); return fd.getInstance(context); }