1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-15 12:40:35 +00:00

Avoid throwing in the destructor

This commit is contained in:
Carles Fernandez 2018-05-19 19:07:00 +02:00
parent 239a4df498
commit 76d871bc8d
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -154,7 +154,7 @@ rtl_tcp_signal_source_c::rtl_tcp_signal_source_c(const std::string &address,
rtl_tcp_signal_source_c::~rtl_tcp_signal_source_c()
{
boost::mutex::scoped_lock lock(mutex_);
mutex_.unlock();
io_service_.stop();
not_empty_.notify_one();
not_full_.notify_one();