From e719f985d821adc72b093deba0caa73206498757 Mon Sep 17 00:00:00 2001 From: Gwendal Le Bihan Date: Mon, 29 Aug 2011 15:44:29 +0200 Subject: [PATCH] Corrected bug: .upper() would fail if GDMSESSION variable was not set --- usr/lib/linuxmint/mintMenu/mintMenu.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.py b/usr/lib/linuxmint/mintMenu/mintMenu.py index bfdbe62..1daa32f 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenu.py +++ b/usr/lib/linuxmint/mintMenu/mintMenu.py @@ -55,10 +55,10 @@ ICON = "/usr/lib/linuxmint/mintMenu/visualisation-logo.png" sys.path.append( os.path.join( PATH , "plugins") ) # FIX: Get the window manager from the GDMSESSION environment variable, fallback to GNOME if it's not set -windowManager = os.getenv("GDMSESSION").upper() +windowManager = os.getenv("GDMSESSION") if not windowManager: windowManager = "GNOME" -xdg.Config.setWindowManager( windowManager ) +xdg.Config.setWindowManager( windowManager.upper() ) from easybuttons import iconManager from easygconf import EasyGConf