OSD: push_waiters is no longer used

Signed-off-by: Samuel Just <sam.just@inktank.com>

diff --git a/src/osd/OSD.h b/src/osd/OSD.h
index 58378706856e0d9fcfadc4940a8d80cbbae5f636..31f79b065f2159c310778e1af6e65af177e1aaf1 100644 (file)
--- a/src/osd/OSD.h
+++ b/src/osd/OSD.h
@@ -332,12 +332,6 @@ private:
     finished.push_back(op);
     finished_lock.Unlock();
   }
-  void push_waiters(list<OpRequestRef>& ls) {
-    assert(osd_lock.is_locked());   // currently, at least.  be careful if we change this (see #743)
-    finished_lock.Lock();
-    finished.splice(finished.begin(), ls);
-    finished_lock.Unlock();
-  }
   void do_waiters();
   
   // -- op tracking --