ospf6d: reset the global ospf6 pointer

reset the global ospf6 pointer.

Signed-off-by: Philippe Guibert <philippe.guibert@6wind.com>

diff --git a/ospf6d/ospf6_main.c b/ospf6d/ospf6_main.c
index 289c7dc18c2259bae60875114d95203c77b3a628..61094c7cdba325055f60ab8c46740519dce7eaea 100644 (file)
--- a/ospf6d/ospf6_main.c
+++ b/ospf6d/ospf6_main.c
@@ -85,8 +85,10 @@ static void __attribute__((noreturn)) ospf6_exit(int status)
 
        frr_early_fini();
 
-       if (ospf6)
+       if (ospf6) {
                ospf6_delete(ospf6);
+               ospf6 = NULL;
+       }
 
        bfd_gbl_exit();