1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java Mon Dec 30 23:46:41 2013 +0100
1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java Tue Dec 31 17:35:33 2013 +0100
1.3 @@ -214,7 +214,7 @@
1.4 String formatterName = options.getFormatterName();
1.5 formatterName = formatterName == null ? Configuration.DEFAULT_FORMATTER_PREFETCHING : formatterName;
1.6 FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(formatterName);
1.7 - FormatterContext context = new FormatterContext(out);
1.8 + FormatterContext context = new FormatterContext(out, options.getFormatterProperties());
1.9 return fd.getInstance(context);
1.10 }
1.11