diff options
| author | Josh Blum | 2013-03-17 23:12:31 -0700 |
|---|---|---|
| committer | Josh Blum | 2013-03-17 23:12:31 -0700 |
| commit | bfefd11011987fe9755dd72d86ad4f052b3d263e (patch) | |
| tree | 73b3960d46caed9996dfeff4856c3bcc546c9006 /grc/gui | |
| parent | cb5ff01c491d4558a096fc1649b85283c36ccf91 (diff) | |
| parent | 3693ee3259fa8bf2d9ad393842a80cd1fc330863 (diff) | |
| download | gnuradio-bfefd11011987fe9755dd72d86ad4f052b3d263e.tar.gz gnuradio-bfefd11011987fe9755dd72d86ad4f052b3d263e.tar.bz2 gnuradio-bfefd11011987fe9755dd72d86ad4f052b3d263e.zip | |
Merge branch 'maint' of https://github.com/guruofquality/gnuradio into v3.6.4git_gras_support
Conflicts:
gnuradio-core/src/lib/runtime/gr_block.cc
gnuradio-core/src/lib/runtime/gr_block.h
gnuradio-core/src/lib/runtime/gr_types.h
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 37a100c94..1dc02dabb 100644 --- a/grc/gui/MainWindow.py +++ b/grc/gui/MainWindow.py @@ -180,6 +180,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()) |