force kill of child process.

diff --git a/tests/mini-loss-time.c b/tests/mini-loss-time.c
index 17f6d3f50ece3ca05ef97f7f39c3ebc1cbb4335a..cc01dcde17d0dd7998ab698c36a17ee8199a6883 100644 (file)
--- a/tests/mini-loss-time.c
+++ b/tests/mini-loss-time.c
@@ -267,6 +267,7 @@ static void start (int server_packet, int client_packet)
     {
       /* parent */
       server (fd[0], server_packet);
+      kill(child, SIGTERM);
     }
   else 
     {