From 17310a9d2b746eb198b746fbb680ce06ad9cb838 Mon Sep 17 00:00:00 2001
From: Dennis Luxen <luxen@kit.edu>
Date: Thu, 18 Nov 2010 16:58:31 +0000
Subject: [PATCH] Fixes a race condition when more than one thread tries to
 access the grid file (thanks Patrick)

---
 Contractor/SearchEngine.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Contractor/SearchEngine.h b/Contractor/SearchEngine.h
index 56fe5401e..5f41d576a 100644
--- a/Contractor/SearchEngine.h
+++ b/Contractor/SearchEngine.h
@@ -272,6 +272,10 @@ public:
         const EdgeData ed = _graph->GetEdgeData(e);
         return ed.type;
     }
+
+    inline void RegisterThread(const unsigned k, const unsigned v) {
+    	nodeHelpDesk->RegisterThread(k,v);
+    }
 private:
     NodeHelperT * nodeHelpDesk;