diff options
Diffstat (limited to 'dpid/dpid.h')
| -rw-r--r-- | dpid/dpid.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dpid/dpid.h b/dpid/dpid.h index 0cf89406..8ef67dd5 100644 --- a/dpid/dpid.h +++ b/dpid/dpid.h @@ -98,6 +98,8 @@ void handle_sigchld(void); void est_dpi_sigchld(void); +void est_dpi_terminator(void); + void stop_active_dpis(struct dp *dpi_attr_list, int numdpis); void ignore_dpi_sockets(struct dp *dpi_attr_list, int numdpis); |