From 1d62ed028eb07d74e2b7d85d186e8f9b5f2536d9 Mon Sep 17 00:00:00 2001
From: Patrick Niklaus <patrick.niklaus@student.kit.edu>
Date: Mon, 9 Jun 2014 12:19:45 +0200
Subject: [PATCH] Fix off-by-one since back() gives last value inside
 [begin,end)

---
 Server/DataStructures/InternalDataFacade.h | 4 ++--
 Server/DataStructures/SharedDataFacade.h   | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Server/DataStructures/InternalDataFacade.h b/Server/DataStructures/InternalDataFacade.h
index de36658fb..afa82f58a 100644
--- a/Server/DataStructures/InternalDataFacade.h
+++ b/Server/DataStructures/InternalDataFacade.h
@@ -386,9 +386,9 @@ template <class EdgeDataT> class InternalDataFacade : public BaseDataFacade<Edge
         result.clear();
         if (range.begin() != range.end())
         {
-            result.resize(range.back() - range.front());
+            result.resize(range.back() - range.front() + 1);
             std::copy(m_names_char_list.begin() + range.front(),
-                      m_names_char_list.begin() + range.back(),
+                      m_names_char_list.begin() + range.back() + 1,
                       result.begin());
         }
     }
diff --git a/Server/DataStructures/SharedDataFacade.h b/Server/DataStructures/SharedDataFacade.h
index 57434b83a..477089471 100644
--- a/Server/DataStructures/SharedDataFacade.h
+++ b/Server/DataStructures/SharedDataFacade.h
@@ -360,9 +360,9 @@ template <class EdgeDataT> class SharedDataFacade : public BaseDataFacade<EdgeDa
         result.clear();
         if (range.begin() != range.end())
         {
-            result.resize(range.back() - range.front());
+            result.resize(range.back() - range.front() + 1);
             std::copy(m_names_char_list.begin() + range.front(),
-                      m_names_char_list.begin() + range.back(),
+                      m_names_char_list.begin() + range.back() + 1,
                       result.begin());
         }
     }