1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-08-30 09:27:58 +00:00

Merge branch 'Zosoworld-next' into next

This commit is contained in:
Carles Fernandez
2018-05-05 11:38:57 +02:00

View File

@@ -154,7 +154,10 @@ 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_);
io_service_.stop();
not_empty_.notify_one();
not_full_.notify_one();
}