aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatthias Andree <matthias.andree@gmx.de>2020-01-31 01:04:44 +0100
committerMatthias Andree <matthias.andree@gmx.de>2020-01-31 01:04:44 +0100
commit7c3b3d9d6ceff325bd9b36a2efcac1122e712123 (patch)
tree3a5b39c6c15c9f8365b93edc52f20714d82ac655
parent9199169adf8fd653f7bee4be8a8b53cd71405823 (diff)
downloadfetchmail-7c3b3d9d6ceff325bd9b36a2efcac1122e712123.tar.gz
fetchmail-7c3b3d9d6ceff325bd9b36a2efcac1122e712123.tar.bz2
fetchmail-7c3b3d9d6ceff325bd9b36a2efcac1122e712123.zip
fetchmailconf: delete server entries properly.
While here, fix exception catcher.
-rwxr-xr-xfetchmailconf.py6
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):