java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java
branchv_0
changeset 89 98d18e9a357b
parent 75 43aa4625ab7e
child 91 43e8d52091d5
equal deleted inserted replaced
88:102ba0fcb07f 89:98d18e9a357b
   200 
   200 
   201 		formatter.writeEndResultSet();
   201 		formatter.writeEndResultSet();
   202 	}
   202 	}
   203 
   203 
   204 	private Formatter getFormatter() throws ConfigurationException, FormatterException {
   204 	private Formatter getFormatter() throws ConfigurationException, FormatterException {
   205 		FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(options.getFormatterName());
   205 		String formatterName = options.getFormatterName();
       
   206 		formatterName = formatterName == null ? Configuration.DEFAULT_FORMATTER_PREFETCHING : formatterName;
       
   207 		FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(formatterName);
   206 		FormatterContext context = new FormatterContext(out);
   208 		FormatterContext context = new FormatterContext(out);
   207 		return fd.getInstance(context);
   209 		return fd.getInstance(context);
   208 	}
   210 	}
   209 
   211 
   210 	private ColumnsHeader constructHeader(HeaderField... fields) throws FormatterException {
   212 	private ColumnsHeader constructHeader(HeaderField... fields) throws FormatterException {