[GUMP-35] Failed to kill errant children

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: Gump2-2.4
• Fix Version/s: Gump3-alpha-3
• Component/s: Python-based Gump
• Assignee: Unassigned
• Reporter: Adam R. B. Jack
• Created: 17/Mar/04 15:10
• Updated: 19/Apr/05 05:04
• Resolved: 19/Apr/05 05:04

Description

Gumpy attempt to use pgrep to find "timing out" children of itself, in order to kill them. Since Gumpy uses system() to spwn them, it kills the shell not the real children (grandchildren, etc.)

Need a portable way to detect and kill all progeny of Gumpy when a timeout occurs.