After a few back and forth between me and the Debian maintainer, we agreed that fixing stud itself was the proper way to deal with this.
I have proposed a patch to stud that handles termination of the children processes when TERM is sent to the parent. I am waiting to hear from Debian upstream. ** Patch removed: "lp1123950-fail-restart_saucy.debdiff" https://bugs.launchpad.net/ubuntu/+source/stud/+bug/1123950/+attachment/3866984/+files/lp1123950-fail-restart_saucy.debdiff ** Patch removed: "lp1123950-fail-restart_precise.debdiff" https://bugs.launchpad.net/ubuntu/+source/stud/+bug/1123950/+attachment/3866983/+files/lp1123950-fail-restart_precise.debdiff -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1123950 Title: /etc/init.d/stud restart does not start the daemon To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/stud/+bug/1123950/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
