Comment 26 for bug 1123950

Revision history for this message
Launchpad Janitor (janitor) wrote :

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