-fixing #2190 by actually stopping all child processes cleanly
authorChristian Grothoff <christian@grothoff.org>
Fri, 9 Mar 2012 12:30:02 +0000 (12:30 +0000)
committerChristian Grothoff <christian@grothoff.org>
Fri, 9 Mar 2012 12:30:02 +0000 (12:30 +0000)
commitc26f7306f9ec16a25de4b653d3c5ef064f7c3728
tree67a6cca05503f37861a8b9f942bc3ec554d043e9
parent64cb39f0d4ba7edfbbebd100cffb4a0c76d8caa5
-fixing #2190 by actually stopping all child processes cleanly
src/testing/testing.c