1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-02-06 14:10:11 +00:00
This commit is contained in:
Carles Fernandez 2016-10-03 17:45:06 +02:00
parent 08f0a36075
commit 67a4066738

View File

@ -90,7 +90,7 @@ ControlThread::~ControlThread()
{ {
// save navigation data to files // save navigation data to files
// if (save_assistance_to_XML() == true) {} // if (save_assistance_to_XML() == true) {}
if(msgiq != -1) msgctl(msqid, IPC_RMID, NULL);; if(msqid != -1) msgctl(msqid, IPC_RMID, NULL);
} }