X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Froute-table.c;fp=lib%2Froute-table.c;h=58c1b60159c90ca404815fef30511ee0f14d2ec1;hb=2f0dc471d0a6eb61c525e8bff927cf19e835b87f;hp=cd3b37f1cb9c34c52931601ff781161e1949b6ea;hpb=6ff686f2bc2afcfb0a9ad9793d834979dc9870d6;p=openvswitch

diff --git a/lib/route-table.c b/lib/route-table.c
index cd3b37f1..58c1b601 100644
--- a/lib/route-table.c
+++ b/lib/route-table.c
@@ -189,6 +189,7 @@ route_table_unregister(void)
 
     if (!register_count) {
         nln_notifier_destroy(route_notifier);
+        route_notifier = NULL;
         nln_destroy(nln);
         nln = NULL;