00001 #ifndef HorribleMutex_HH 00002 #define HorribleMutex_HH 00003 00004 #include <boost/thread.hpp> 00005 00006 // This is a horrible workaround in order to have a global mutex that serializes 00007 // certain questionable boost functions, e.g. read_json 00008 extern boost::mutex horribleboostmtx; 00009 00010 00011 #endif