# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1663949150 -7200
# Node ID c4b901ff07038c151326c75e8e8d97b52aacdc5c
# Parent  d8442b266ca81d4fd5d06d1b0fb60fe7f377ac64
recfile formatter: write record count (as a comment at the end of the relation)

diff -r d8442b266ca8 -r c4b901ff0703 java/sql-dk/src/main/java/info/globalcode/sql/dk/formatting/RecfileFormatter.java
--- a/java/sql-dk/src/main/java/info/globalcode/sql/dk/formatting/RecfileFormatter.java	Sun Sep 13 12:01:35 2020 +0200
+++ b/java/sql-dk/src/main/java/info/globalcode/sql/dk/formatting/RecfileFormatter.java	Fri Sep 23 18:05:50 2022 +0200
@@ -68,6 +68,15 @@
 	}
 
 	@Override
+	public void writeEndResultSet() {
+		super.writeEndResultSet();
+		out.println();
+		out.print("# Record count: ");
+		out.println(getCurrentRowCount());
+		out.flush();
+	}
+
+	@Override
 	public void writeUpdatesResult(int updatedRowsCount) {
 		super.writeUpdatesResult(updatedRowsCount);
 		printResultSeparator();