gently terminating the twister.

This commit is contained in:
Marcello Stanisci 2018-03-22 20:03:43 +01:00
parent 0056cb6d09
commit 96a4aefcfd
No known key found for this signature in database
GPG Key ID: 8D526861953F4C0F
2 changed files with 2 additions and 2 deletions

View File

@ -108,7 +108,7 @@ run (void *cls,
static void static void
purge_process (struct GNUNET_OS_Process *process) purge_process (struct GNUNET_OS_Process *process)
{ {
GNUNET_OS_process_kill (process, SIGKILL); GNUNET_OS_process_kill (process, SIGINT);
GNUNET_OS_process_wait (process); GNUNET_OS_process_wait (process);
GNUNET_OS_process_destroy (process); GNUNET_OS_process_destroy (process);
} }

View File

@ -105,7 +105,7 @@ run (void *cls,
static void static void
purge_process (struct GNUNET_OS_Process *process) purge_process (struct GNUNET_OS_Process *process)
{ {
GNUNET_OS_process_kill (process, SIGKILL); GNUNET_OS_process_kill (process, SIGINT);
GNUNET_OS_process_wait (process); GNUNET_OS_process_wait (process);
GNUNET_OS_process_destroy (process); GNUNET_OS_process_destroy (process);
} }