1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-06-18 11:09:56 +00:00

Fix termination if GNSS-SDR.telecommand_enabled is set to true

This commit is contained in:
Carles Fernandez 2019-02-24 20:57:51 +01:00
parent d2a3de3c58
commit a51ccdca8b
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -58,6 +58,7 @@
#include <glog/logging.h>
#include <gnuradio/message.h>
#include <algorithm>
#include <chrono>
#include <cmath>
#include <iostream>
#include <limits>
@ -204,7 +205,7 @@ ControlThread::~ControlThread() // NOLINT(modernize-use-equals-default)
if (cmd_interface_thread_.joinable())
{
cmd_interface_thread_.join();
cmd_interface_thread_.detach();
}
}