This bug was fixed in the package stud - 0.3-1ubuntu2.13.04.1
--------------- stud (0.3-1ubuntu2.13.04.1) raring; 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:41:49 -0600
This bug was fixed in the package stud - 0.3-1ubuntu2. 13.04.1
--------------- 13.04.1) raring; 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:41:49 -0600