java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java
branchv_0
changeset 91 43e8d52091d5
parent 89 98d18e9a357b
child 93 5a4dbe6f962c
     1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java	Sat Dec 28 19:54:03 2013 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java	Sat Dec 28 20:24:51 2013 +0100
     1.3 @@ -67,6 +67,7 @@
     1.4  				case FORMATTERS:
     1.5  				case TYPES:
     1.6  					formatter = getFormatter();
     1.7 +					formatter.writeStartBatch();
     1.8  					formatter.writeStartDatabase(new DatabaseDefinition());
     1.9  			}
    1.10  		}
    1.11 @@ -77,6 +78,7 @@
    1.12  
    1.13  		if (formatter != null) {
    1.14  			formatter.writeEndDatabase();
    1.15 +			formatter.writeEndBatch();
    1.16  		}
    1.17  	}
    1.18