brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

perf-tool: Remove dead code

Browse Source
This commit is contained in:
Adel Gadllah 2014-08-18 22:58:30 +02:00
parent 93c5e6d97e
commit eaff1e9290
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/gnome-shell-perf-tool.in
View File

@ -107,8 +107,6 @@ def run_shell(perf_output=None):
def restore_shell(): def restore_shell():
pid = os.fork() pid = os.fork()
if (pid == 0): if (pid == 0):
if "MUTTER_WM_CLASS_FILTER" in os.environ:
del os.environ["MUTTER_WM_CLASS_FILTER"]
os.execlp("gnome-shell", "gnome-shell", "--replace") os.execlp("gnome-shell", "gnome-shell", "--replace")
else: else:
sys.exit(0) sys.exit(0)