From 329e619c8c521980e0bddd4872fbcbe174bd64be Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Thu, 19 Sep 2013 10:42:28 +0200
Subject: [PATCH] fixing coverity issue 1046674 Uninitialized pointer field

---
 Server/RequestHandler.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Server/RequestHandler.h b/Server/RequestHandler.h
index af2217f7b..76953403e 100644
--- a/Server/RequestHandler.h
+++ b/Server/RequestHandler.h
@@ -40,7 +40,7 @@ or see http://www.gnu.org/licenses/agpl.txt.
 class RequestHandler : private boost::noncopyable {
 public:
     typedef APIGrammar<std::string::iterator, RouteParameters> APIGrammarParser;
-    explicit RequestHandler() { }
+    explicit RequestHandler() : routing_machine(NULL) { }
 
     void handle_request(const http::Request& req, http::Reply& rep){
         //parse command
@@ -90,6 +90,10 @@ public:
                 rep.content += "^<br></pre>";
             } else {
                 //parsing done, lets call the right plugin to handle the request
+                BOOST_ASSERT_MSG(
+                    routing_machine != NULL,
+                    "pointer not init'ed"
+                );
                 routing_machine->RunQuery(routeParameters, rep);
                 return;
             }