From 50373d0a948cc76ee237cc7fbd07a5d5765cbf32 Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Mon, 14 Mar 2011 11:01:20 +0000
Subject: [PATCH] Allocated objects are not deleted at shutdown (thanks
 7.prime)

---
 routed.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/routed.cpp b/routed.cpp
index 9d2a9ea32..4264f70eb 100644
--- a/routed.cpp
+++ b/routed.cpp
@@ -91,6 +91,8 @@ int main (int argc, char *argv[])
 		t.join();
 		delete helloWorld;
 		delete locate;
+		delete route;
+		delete h;
 		delete s;
 	} catch (std::exception& e) {
 		std::cerr << "[fatal error] exception: " << e.what() << std::endl;