commit 563150d30340b15bafc5924bb0a94e37f0bdcaa9
author Zhenkai Zhu <zhenkai@cs.ucla.edu> Fri Jan 25 21:06:52 2013 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> Fri Jan 25 21:06:52 2013 -0800
tree 36263f3b04eb4dc1092d1050912fa4a4ffe49f51
parent fcf81dc9de64869b184c9486c1431a87b99cebd8

fix bug in rescheduleTask

scheduler/scheduler.h

diff --git a/scheduler/scheduler.h b/scheduler/scheduler.h
index 58a0726..7fe5db0 100644
--- a/scheduler/scheduler.h
+++ b/scheduler/scheduler.h
@@ -31,7 +31,7 @@
 #include <boost/shared_ptr.hpp>
 
 #include <boost/exception/all.hpp>
-#include <boost/thread/shared_mutex.hpp>
+#include <boost/thread/recursive_mutex.hpp>
 #include <boost/thread/thread.hpp>
 #include <math.h>
 #include <map>
@@ -120,7 +120,7 @@
 protected:
   typedef std::map<Task::Tag, TaskPtr> TaskMap;
   typedef std::map<Task::Tag, TaskPtr>::iterator TaskMapIt;
-  typedef boost::shared_mutex Mutex;
+  typedef boost::recursive_mutex Mutex;
   typedef boost::unique_lock<Mutex> ScopedLock;
 
   TaskMap m_taskMap;