From 7ab44728656516ece8477489f7232d72a5a29034 Mon Sep 17 00:00:00 2001
From: DennisOSRM <luxen@kit.edu>
Date: Wed, 3 Jul 2013 16:54:51 +0200
Subject: [PATCH] Fix non-critical memory leak

---
 Library/OSRM.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Library/OSRM.cpp b/Library/OSRM.cpp
index d6ef0763d..cbcd12d3c 100644
--- a/Library/OSRM.cpp
+++ b/Library/OSRM.cpp
@@ -43,6 +43,7 @@ OSRM::~OSRM() {
     BOOST_FOREACH(PluginMap::value_type plugin_pointer, pluginMap) {
         delete plugin_pointer.second;
     }
+    delete objects;
 }
 
 void OSRM::RegisterPlugin(BasePlugin * plugin) {