diff options
| author | twouters | 2003-03-20 00:31:50 +0000 |
|---|---|---|
| committer | twouters | 2003-03-20 00:31:50 +0000 |
| commit | 3b574204f3ae957caee4ddd851c1a783db08f051 (patch) | |
| tree | 8a875f6ba40ca9e02abbb0f49834fe1a83d37e95 /Mailman/ListAdmin.py | |
| parent | 645081f1dd757c689b2e49f175f8cf2cf27988e5 (diff) | |
| download | mailman-3b574204f3ae957caee4ddd851c1a783db08f051.tar.gz mailman-3b574204f3ae957caee4ddd851c1a783db08f051.tar.zst mailman-3b574204f3ae957caee4ddd851c1a783db08f051.zip | |
Diffstat (limited to 'Mailman/ListAdmin.py')
| -rw-r--r-- | Mailman/ListAdmin.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Mailman/ListAdmin.py b/Mailman/ListAdmin.py index d4d723759..18ef945ab 100644 --- a/Mailman/ListAdmin.py +++ b/Mailman/ListAdmin.py @@ -205,7 +205,9 @@ class ListAdmin: self.__opendb() # get the next unique id id = self.__request_id() - assert not self.__db.has_key(id) + while self.__db.has_key(id): + # Shouldn't happen unless the db has gone odd, but let's cope. + id = self.__request_id() # get the message sender sender = msg.get_sender() # calculate the file name for the message text and write it to disk |