diff --git a/gtests/net/packetdrill/run.c b/gtests/net/packetdrill/run.c index b0d8902a97a087b07db027bc6bf4eb1e5ab4d7be..f2f32d6724bf83fe9d8b0d3df690080664c01b97 100644 --- a/gtests/net/packetdrill/run.c +++ b/gtests/net/packetdrill/run.c @@ -66,13 +66,6 @@ const int MAX_SPIN_USECS = 20; static struct state *state = NULL; -void interrupt_handler(int signal_number) { - if (state != NULL) - close_all_sockets(state); - - die("interrupted"); -} - struct state *state_new(struct config *config, struct script *script, struct netdev *netdev) @@ -502,14 +495,21 @@ static s64 schedule_start_time_usecs(void) #endif } +void signal_handler(int signal_number) { + if (state != NULL) + close_all_sockets(state); + + die("Handled signal %d", signal_number); +} + void run_script(struct config *config, struct script *script) { char *error = NULL; struct netdev *netdev = NULL; struct event *event = NULL; - if (signal(SIGINT, interrupt_handler) == SIG_ERR) { - die("could not set up interrupt handler for SIGINT!"); + if (signal(SIGINT, signal_handler) == SIG_ERR) { + die("could not set up signal handler for SIGINT!"); } DEBUGP("run_script: running script\n");