chiark / gitweb /
update: Actually update the last entry in the file.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 14 May 2024 20:12:22 +0000 (21:12 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 14 May 2024 20:12:22 +0000 (21:12 +0100)
Not quite sure how this one slipped by.

update

diff --git a/update b/update
index 7fdef5121afa0e0198fd72cedf0a73ff12f14e27..e2a07faf13452cff5d00ffa0cf6367dc4655b65a 100755 (executable)
--- a/update
+++ b/update
@@ -128,4 +128,5 @@ LINE: while (<>) {
   }
 }
 
+flush_set;
 $DB->commit; $DB->disconnect;