java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java
branchv_0
changeset 89 98d18e9a357b
parent 88 102ba0fcb07f
child 123 248a98c13ca4
     1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java	Sat Dec 28 12:19:39 2013 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java	Sat Dec 28 16:45:04 2013 +0100
     1.3 @@ -45,6 +45,11 @@
     1.4  	 * is used if no formatter is specified on CLI nor in user configuration
     1.5  	 */
     1.6  	public static final String DEFAULT_FORMATTER = TabularFormatter.NAME;
     1.7 +	/**
     1.8 +	 * Can be used as default if prefetching is ok – for configuration listings (config is alread in
     1.9 +	 * memory, so this does not matter)
    1.10 +	 */
    1.11 +	public static final String DEFAULT_FORMATTER_PREFETCHING = TabularPrefetchingFormatter.NAME;
    1.12  	private String defaultFormatter;
    1.13  	/**
    1.14  	 * Default list of formatters. Is used if particular name is not found in user configuration.