Possible fix to problems when the Server is destroyed.

diff --git a/src/lib/server.cc b/src/lib/server.cc
index f9f91417848bd010112ffb4d1abee49089a63ec5..c1db1e6ac866d632c62aead5cd71986875a13151 100644 (file)
--- a/src/lib/server.cc
+++ b/src/lib/server.cc
@@ -78,6 +78,7 @@ Server::~Server ()
                boost::mutex::scoped_lock lm (_worker_mutex);
                _terminate = true;
                _empty_condition.notify_all ();
+               _full_condition.notify_all ();
        }
 
        for (vector<boost::thread*>::iterator i = _worker_threads.begin(); i != _worker_threads.end(); ++i) {