diff --git a/exec/main.c b/exec/main.c index 930271a7..654fc49c 100644 --- a/exec/main.c +++ b/exec/main.c @@ -110,6 +110,7 @@ enum e_ais_done { static inline void ais_done (enum e_ais_done err) { log_printf (LOG_LEVEL_ERROR, "AIS Executive exiting.\n"); + poll_destroy (aisexec_poll_handle); exit (1); }