From c0d4109a4a78dd51b0e6afb17ceb105458ff0f81 Mon Sep 17 00:00:00 2001
From: Tomek Mrugalski <tomasz@isc.org>
Date: Thu, 8 Oct 2015 23:20:49 +0200
Subject: [PATCH] [3987] Small clean-up

---
 src/bin/dhcp4/dhcp4_srv.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/bin/dhcp4/dhcp4_srv.cc b/src/bin/dhcp4/dhcp4_srv.cc
index de3d8d967c..c69f94ab47 100644
--- a/src/bin/dhcp4/dhcp4_srv.cc
+++ b/src/bin/dhcp4/dhcp4_srv.cc
@@ -271,6 +271,8 @@ Dhcpv4Srv::~Dhcpv4Srv() {
     }
 
     IfaceMgr::instance().closeSockets();
+
+    LeaseMgrFactory::destroy();
 }
 
 void
-- 
2.47.3