Closed tuxlifan closed 8 years ago
Alternatively, one can kill only those processes belong to the current user. Patch attached.
@clefebvre: confirmed - see http://forums.linuxmint.com/viewtopic.php?f=206&t=212794
Funny bug that one :)
We'll get that fixed today. Thanks for the feedback.
On Linux Mint 17.3 'Rosa', MATE Edition Package: mintdesktop, Version: 3.4.3
The problem seems to be that window-manager-launcher is trying to kill a process (e.g. marco) belonging to the first user; in line 36 ("os.kill(pid, signal.SIGKILL)")
A solution would be to modify the ps invocation in line 28 ("p = subprocess.Popen(['ps', '-A'], stdout=subprocess.PIPE)") in a way that limits ps output to processes belonging to the current user.
A quick&dirty workaround is to wrap the 'kill line' in a try-except block and catch and ignore the PermissionError (patch attached).
trycatchPermissionError.txt