From f5d22c904f66847286b4f2803de79428ea2d98a3 Mon Sep 17 00:00:00 2001 From: Dennis Luxen Date: Tue, 26 Nov 2013 19:41:55 +0100 Subject: [PATCH] fixing coverity issue --- Util/ProgramOptions.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Util/ProgramOptions.h b/Util/ProgramOptions.h index 83b9daa9d..4d0c64c57 100644 --- a/Util/ProgramOptions.h +++ b/Util/ProgramOptions.h @@ -231,7 +231,10 @@ inline bool GenerateServerProgramOptions( } if( !use_shared_memory && option_variables.count("base") ) { - std::string base_string = paths["base"].string(); + path_iterator = paths.find("base"); + BOOST_ASSERT( paths.end() != path_iterator ); + std::string base_string = path_iterator->second.string(); + path_iterator = paths.find("hsgrdata"); if( path_iterator != paths.end() &&