Exec did not kill timed out child processes.  This was probably because we tried to kill the child process group in the SIGALRM handler and we didn't actually have a child process group.  Now we do and it seems to work.
Exec did not kill timed out child processes.  This was probably because
we tried to kill the child process group in the SIGALRM handler and we
didn't actually have a child process group.  Now we do and it seems to work.

ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools