Well, I had to update the helper script, as it seems a complete X
restart is really needed (not so helpful if multiple users are using the
GUI, but okay if only 1 at a time):
$ cat /usr/local/bin/kill-stragglers
#!/bin/bash
# takes 1 argument: the username of the user who logged off
USER=$1
sudo kill -9 $( ps U $USER | grep -v TTY | awk '{print $1}' ) 2> /dev/null
sudo /etc/init.d/gdm restart
--
Processes remain after log off
https://bugs.launchpad.net/bugs/236210
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
