1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-06-23 13:33:15 +00:00

Remove lintian complaints

This commit is contained in:
Carles Fernandez 2018-12-14 14:17:04 +01:00
parent 95c6bb4dd1
commit 67f3680bf4
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D
2 changed files with 3 additions and 3 deletions

View File

@ -152,7 +152,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()
rtl_tcp_signal_source_c::~rtl_tcp_signal_source_c() // NOLINT(modernize-use-equals-default)
{
mutex_.unlock();
io_service_.stop();

View File

@ -189,7 +189,7 @@ void ControlThread::init()
}
ControlThread::~ControlThread()
ControlThread::~ControlThread() // NOLINT(modernize-use-equals-default)
{
if (msqid != -1) msgctl(msqid, IPC_RMID, NULL);
}
@ -751,7 +751,7 @@ void ControlThread::assist_GNSS()
time_t ref_rx_utc_time = 0;
if (agnss_ref_time_.valid == true)
{
ref_rx_utc_time = agnss_ref_time_.d_tv_sec;
ref_rx_utc_time = static_cast<time_t>(agnss_ref_time_.d_tv_sec);
}
std::vector<std::pair<int, Gnss_Satellite>> visible_sats = get_visible_sats(ref_rx_utc_time, ref_LLH);