My pgrep works with usernames longer than 9 characters (Ubuntu 9.04). Perhaps you ran into a bug with pgrep.
At any rate, I see no reason to use the username vs the user number so I think we will adopt your patch. -- gnome-do don't start with username > 9 characters https://bugs.launchpad.net/bugs/439949 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
