From b56426ff1609cf2ca5b77bc21384e9074d47393e Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Fri, 5 Dec 2014 13:22:48 +1100
Subject: [PATCH] stringid: use boost threads for windows support

---
 stringid.cpp | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/stringid.cpp b/stringid.cpp
index 25b12dbf..3a1bec4d 100644
--- a/stringid.cpp
+++ b/stringid.cpp
@@ -22,7 +22,8 @@
 #include "raii.hpp"
 
 #include <stdexcept>
-#include <mutex>
+#include <boost/thread/mutex.hpp>
+#include <boost/thread/lock_guard.hpp>
 
 using util::stringid;
 
@@ -34,8 +35,8 @@ stringid::add (const std::string key) {
     if (pos != m_map.end ())
         throw std::invalid_argument ("duplicate stringid key");
 
-    static std::mutex s_lock;
-    std::lock_guard<std::mutex> raii (s_lock);
+    static boost::mutex s_lock;
+    boost::lock_guard<boost::mutex> raii (s_lock);
 
     id_t id = m_map.size ();
     m_map[key] = id;