Don't try to respawn metacity and the panel if we didn't kill them.
Also, don't crash out of the python script if metacity-clutter crashes
This commit is contained in:
parent
84aec28575
commit
6676260308
1
.gitignore
vendored
1
.gitignore
vendored
@ -25,4 +25,5 @@ src/*-marshal.[ch]
|
||||
src/Makefile
|
||||
src/Makefile.in
|
||||
src/gnomeshell-taskpanel
|
||||
src/gnome-shell
|
||||
stamp-h1
|
||||
|
@ -235,13 +235,16 @@ try:
|
||||
print "Shell is dead"
|
||||
|
||||
except KeyboardInterrupt, e:
|
||||
os.kill(shell.pid, signal.SIGKILL)
|
||||
try:
|
||||
os.kill(shell.pid, signal.SIGKILL)
|
||||
except:
|
||||
pass
|
||||
shell.wait()
|
||||
if options.verbose:
|
||||
print "Shell killed"
|
||||
|
||||
finally:
|
||||
if metacity_pid or gnome_panel_pid:
|
||||
if not run_in_xephyr and (metacity_pid or gnome_panel_pid):
|
||||
# Restart gnome-panel and window manager
|
||||
if options.verbose:
|
||||
print "Restarting Metacity and Gnome Panel"
|
||||
|
Loading…
Reference in New Issue
Block a user