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