mirrors/gnss-sdr
1
0
Fork 0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-01-18 21:23:02 +00:00
Code Issues Releases Wiki Activity

Catch uncaught exception detected by Coverity Scan

Browse Source
This commit is contained in:
Carles Fernandez 2018-05-21 21:21:28 +02:00
parent 8a7f145d47
commit 5722a3f9aa
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D
1 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/utils/front-end-cal/main.cc
View File

@ -477,7 +477,19 @@ int main(int argc, char** argv)
if (global_gps_ephemeris_map.size() > 0)
{
std::map<int, Gps_Ephemeris> Eph_map;
Eph_map = global_gps_ephemeris_map.get_map_copy();
try
{
Eph_map = global_gps_ephemeris_map.get_map_copy();
}
catch (const boost::exception& e)
{
std::cout << "Exception in getting Global ephemeris map" << std::endl;
delete acquisition;
delete gnss_synchro;
google::ShutDownCommandLineFlags();
std::cout << "GNSS-SDR Front-end calibration program ended." << std::endl;
return 0;
}
current_TOW = Eph_map.begin()->second.d_TOW;
time_t t = utc_time(Eph_map.begin()->second.i_GPS_week, (long int)current_TOW);