From 629c35bd2aea37f3e4daa5c10cc1646ae89a473a Mon Sep 17 00:00:00 2001
From: Colin Walters <walters@verbum.org>
Date: Wed, 25 Feb 2009 12:54:14 -0500
Subject: [PATCH] Only try to kill gnome-panel if it's running

This avoids crashing if it's not.
---
 src/gnome-shell | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/gnome-shell b/src/gnome-shell
index a59c7a2de..b81c0ccd8 100755
--- a/src/gnome-shell
+++ b/src/gnome-shell
@@ -223,7 +223,8 @@ try:
         shell = start_xephyr()
         start_shell()
     else:
-        kill_gnome_panel(gnome_panel_pid)
+        if gnome_panel_pid is not None:
+            kill_gnome_panel(gnome_panel_pid)
         shell = start_shell()
 
     # Wait for shell to exit