From 763ad0d04761088af0103f9bd0490b0db98a5006 Mon Sep 17 00:00:00 2001
From: Patrick Niklaus <patrick.niklaus@student.kit.edu>
Date: Thu, 12 Jan 2017 22:12:45 +0000
Subject: [PATCH] Print warning on Windows that we can't wait for clients

---
 include/storage/shared_memory.hpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/include/storage/shared_memory.hpp b/include/storage/shared_memory.hpp
index 1c2564bd0..c0c6f9580 100644
--- a/include/storage/shared_memory.hpp
+++ b/include/storage/shared_memory.hpp
@@ -205,6 +205,13 @@ class SharedMemory
         return Remove(k);
     }
 
+    void WaitForDetach()
+    {
+        // FIXME this needs an implementation for Windows
+        util::Log(logWARNING)
+            << "Shared memory support for Windows does not wait for clients to dettach.";
+    }
+
   private:
     static void build_key(int id, char *key) { sprintf(key, "%s.%d", "osrm.lock", id); }