mirrors/gnss-sdr
1
0
Fork 0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2026-09-29 12:21:51 +00:00
Code Issues Releases Wiki Activity

Fixing crash when shutting down the server

Browse Source
This commit is contained in:
Carles Fernandez
2015-12-23 00:56:21 +01:00
parent 9e009f48aa
commit 5bc26b3840
2 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/core/system_parameters/rtcm.cc
+3 -2
View File
@@ -102,9 +102,10 @@ void Rtcm::stop_service()
void Rtcm::stop_server()
{
std::cout << "Stopping TCP Server on port " << FLAGS_RTCM_Port << std::endl;
rtcm_message_queue->push("Goodbye"); // this kills tq
std::this_thread::sleep_for(std::chrono::seconds(1));
rtcm_message_queue->push("Goodbye"); // this terminates tq
Rtcm::stop_service();
servers.front().close_server();
std::this_thread::sleep_for(std::chrono::seconds(1));
server_is_running = false;
}