java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java
branchv_0
changeset 91 43e8d52091d5
parent 89 98d18e9a357b
child 93 5a4dbe6f962c
--- a/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java	Sat Dec 28 19:54:03 2013 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java	Sat Dec 28 20:24:51 2013 +0100
@@ -67,6 +67,7 @@
 				case FORMATTERS:
 				case TYPES:
 					formatter = getFormatter();
+					formatter.writeStartBatch();
 					formatter.writeStartDatabase(new DatabaseDefinition());
 			}
 		}
@@ -77,6 +78,7 @@
 
 		if (formatter != null) {
 			formatter.writeEndDatabase();
+			formatter.writeEndBatch();
 		}
 	}