This bug was fixed in the package stud - 0.3-1ubuntu2.12.04.1 --------------- stud (0.3-1ubuntu2.12.04.1) precise; urgency=low
* debian/patches/kill-children-on-sigterm.patch Fix stud to handle termination of children processes (LP: #1123950) -- Louis Bouchard <louis.bouch...@ubuntu.com> Thu, 07 Nov 2013 08:06:19 -0600 -- 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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs