Bug fix for GPSDO discovery and querying "gps_time"

GNU Radio
1

Hi

I have experienced some issues regarding querying GPS time
(get_mboard_sensor(“gps_time”))
and about GPSDO discovery stability
For more details, see previous posts :
http://lists.gnu.org/archive/html/discuss-gnuradio/2011-08/msg00111.html
http://lists.gnu.org/archive/html/discuss-gnuradio/2011-08/msg00090.html

Anyway, I made 2 little fixes to gps_ctrl.cpp
I attached the new version to this email
It consist of :

  1. waiting after sending string to GPSDO, while discovering GPSDO
    devices
    (line 54)
    //wait for _send(…) to return
    sleep(milliseconds(FIREFLY_STUPID_DELAY_MS));

  2. flushing NMEA data from previous sentences (line 159)
    //flush data to avoid reading outdated value (because NMEA
    string
    generated every second)
    while (_recv() != “”){
    sleep(milliseconds(10));
    }

I found these fixes to be stable on my setup
How can I get it merged into the main branch ?

Also Nick, I tried to play around with FIREFLY_STUPID_DELAY_MS first,
but
this did not avoid the error I mentioned earlier
(I assume this is what you were talking about in
Re: [Discuss-gnuradio] GPS query get_mboard_sensors("gps_locked") fails)

Regards
Bastien