mod from Joe Strout: when quitting, catch errors in window.close() methods and ignore...

diff --git a/Mac/Tools/IDE/PythonIDEMain.py b/Mac/Tools/IDE/PythonIDEMain.py
index b869359ad793bb961ce6e87a93439e29c782c21f..ae5f0e3fded714cbfdff6cb2adc1956de307338e 100644 (file)
--- a/Mac/Tools/IDE/PythonIDEMain.py
+++ b/Mac/Tools/IDE/PythonIDEMain.py
@@ -228,7 +228,10 @@ class PythonIDE(Wapplication.Application):
                PyConsole.output.writeprefs()
                PyEdit.searchengine.writeprefs()
                for window in self._windows.values():
-                       rv = window.close()
+                       try:
+                               rv = window.close() # ignore any errors while quitting
+                       except:
+                               rv = 0   # (otherwise, we can get stuck!)
                        if rv and rv > 0:
                                return
                self.quitting = 1