diff options
author | Matthias Andree <matthias.andree@gmx.de> | 2020-01-31 01:04:44 +0100 |
---|---|---|
committer | Matthias Andree <matthias.andree@gmx.de> | 2020-01-31 01:04:44 +0100 |
commit | 7c3b3d9d6ceff325bd9b36a2efcac1122e712123 (patch) | |
tree | 3a5b39c6c15c9f8365b93edc52f20714d82ac655 | |
parent | 9199169adf8fd653f7bee4be8a8b53cd71405823 (diff) | |
download | fetchmail-7c3b3d9d6ceff325bd9b36a2efcac1122e712123.tar.gz fetchmail-7c3b3d9d6ceff325bd9b36a2efcac1122e712123.tar.bz2 fetchmail-7c3b3d9d6ceff325bd9b36a2efcac1122e712123.zip |
fetchmailconf: delete server entries properly.
While here, fix exception catcher.
-rwxr-xr-x | fetchmailconf.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/fetchmailconf.py b/fetchmailconf.py index 052e3fcd..2350bc36 100755 --- a/fetchmailconf.py +++ b/fetchmailconf.py @@ -812,9 +812,9 @@ class ConfigurationEdit(Frame, MyWidget): def server_delete(self, sitename): try: for user_it in list(self.subwidgets.keys()): - user_it.destruct() - del self.configuration[sitename] - except e: + self.configuration[sitename].destruct() + del self.configuration[sitename] + except Exception as e: print("Exception discarded in ConfigurationEdit.server_delete(): {}".format(e)) def edit(self, mode): |