0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-30 00:56:44 +01:00
This commit is contained in:
Dwight 2010-04-15 19:17:26 -04:00
parent 5da3be0bf3
commit be4e916110

View File

@ -46,7 +46,7 @@ public:
T* head() const { return _head; }
void push(T* t) {
boostlock lk(_m);
boost::mutex::scoped_lock lk(_m);
t->_next = _head;
_head = t;
}