Only try to kill gnome-panel if it's running

This avoids crashing if it's not.
2009-02-25 12:54:14 -05:00 · 2009-02-25 12:54:14 -05:00 · 629c35bd2a
commit 629c35bd2a
parent 54a9b5ae4e
1 changed files with 2 additions and 1 deletions
--- a/src/gnome-shell
+++ b/src/gnome-shell
@ -223,6 +223,7 @@ try:
        shell = start_xephyr()
        start_shell()
    else:
+        if gnome_panel_pid is not None:
            kill_gnome_panel(gnome_panel_pid)
        shell = start_shell()