diff options
| -rw-r--r-- | src/core/init.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/init.c b/src/core/init.c index 0b65013a..ca7c214f 100644 --- a/src/core/init.c +++ b/src/core/init.c @@ -67,6 +67,7 @@ nni_fini(void) // XXX: We should make sure that underlying sockets and // file descriptors are closed. Details TBD. nni_tran_sys_fini(); + nni_pipe_sys_fini(); nni_ep_sys_fini(); nni_sock_sys_fini(); nni_random_sys_fini(); |
