From 6edbfdce018003fb89d358213db48809ad971114 Mon Sep 17 00:00:00 2001 From: ganyang Date: Mon, 30 May 2022 17:16:36 +0800 Subject: [PATCH] fix unused script --- src/include/catalog/unused_oids | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/include/catalog/unused_oids b/src/include/catalog/unused_oids index 7bc2e928b..3ed4624fa 100644 --- a/src/include/catalog/unused_oids +++ b/src/include/catalog/unused_oids @@ -56,5 +56,9 @@ BEGIN { last = $1; } END { - print last + 1, "-", ENVIRON["FIRSTOBJECTID"]-1; + if (last + 1 < ENVIRON["FIRSTOBJECTID"]-1) { + print last + 1, "-", ENVIRON["FIRSTOBJECTID"]-1; + } else { + print last + 1; + } }'