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): |
