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