diff options
Diffstat (limited to 'grc/gui')
| -rw-r--r-- | grc/gui/MainWindow.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/grc/gui/MainWindow.py b/grc/gui/MainWindow.py index 16a4c63227..c2d661c668 100644 --- a/grc/gui/MainWindow.py +++ b/grc/gui/MainWindow.py @@ -188,6 +188,9 @@ class MainWindow(gtk.Window): if file_path: Messages.send_end_load() except Exception, e: #return on failure Messages.send_fail_load(e) + if isinstance(e, KeyError) and str(e) == "'options'": + # This error is unrecoverable, so crash gracefully + exit(-1) return #add this page to the notebook self.notebook.append_page(page, page.get_tab()) |