Rather than killing each process by PID, what about killing the whole process group? Wouldn't that be cleaner? Is it portable enough?
Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
