From 4b9844bdee79f4841b9e12bf37ebf6daaf03fc40 Mon Sep 17 00:00:00 2001 From: Colin Walters Date: Thu, 6 Nov 2008 15:10:57 +0000 Subject: [PATCH] Disable bug buddy; otherwise we just hang on crash instead of restarting old panel svn path=/trunk/; revision=33 --- scripts/launcher.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/launcher.py b/scripts/launcher.py index 31e906a34..45325ae7b 100644 --- a/scripts/launcher.py +++ b/scripts/launcher.py @@ -54,7 +54,8 @@ class Launcher: env=dict(os.environ) env.update({'GNOME_SHELL_JS' : self.js_dir, 'GI_TYPELIB_PATH' : self.plugin_dir, - 'LD_LIBRARY_PATH' : os.environ.get('LD_LIBRARY_PATH', '') + ':' + self.plugin_dir}) + 'LD_LIBRARY_PATH' : os.environ.get('LD_LIBRARY_PATH', '') + ':' + self.plugin_dir, + 'GNOME_DISABLE_CRASH_DIALOG' : '1'}) if use_tfp: # If we have NPOT textures, then we want to use GLX_EXT_texture_from_pixmap; in