update: Actually update the last entry in the file. master
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 7fdef51..e2a07fa 100755 (executable)
--- a/update
+++ b/update
@@ -128,4 +128,5 @@ LINE: while (<>) {
   }
 }
 
+flush_set;
 $DB->commit; $DB->disconnect;