diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/ChangeLog | 4 | ||||
| -rwxr-xr-x | tools/ring-a-party | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/tools/ChangeLog b/tools/ChangeLog index dbd879b43..2050b4e90 100644 --- a/tools/ChangeLog +++ b/tools/ChangeLog @@ -1,3 +1,7 @@ +Thu Sep 14 14:20:38 CEST 2000 Werner Koch <[email protected]> + + * ring-a-party: Flush the last key. + Wed Jul 5 13:28:45 CEST 2000 Werner Koch <wk@> * mail-signed-keys: New. diff --git a/tools/ring-a-party b/tools/ring-a-party index 561b51336..26c055622 100755 --- a/tools/ring-a-party +++ b/tools/ring-a-party @@ -31,6 +31,9 @@ BEGIN { FS=":" page = 0; now = strftime("%b %d %H:%M %Y"); } +END { + if (any) myflush(); +} $1 == "pub" { if( any ) myflush(); uidcount = 0; |