[paparazzi-commits] [paparazzi/paparazzi] 951d80: [log] add the latest generated settings if availab...

[Gautier Hattenberger]

  Branch: refs/heads/fix-settings_in_log
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 951d8072cfd027cb8cc886f8ccf58de7b287b755
      
https://github.com/paparazzi/paparazzi/commit/951d8072cfd027cb8cc886f8ccf58de7b287b755
  Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
  Date:   2020-08-18 (Tue, 18 Aug 2020)

  Changed paths:
    M sw/ground_segment/tmtc/server.ml

  Log Message:
  -----------
  [log] add the latest generated settings if available to log file

This way, the exact order of the settings used during the flight might
be available.
The only false case would be to start a server, rebuild and aircraft
with different parameters or target, then flash and start the plane. In
this case, there is no guarantee that the information is correct.
However, this is the best we can do, since we can't know when starting
the server with which target the aircraft will be used.

close #2563


  Commit: cdd3179d3fcb5a2520c93a2546c43b31600194a3
      
https://github.com/paparazzi/paparazzi/commit/cdd3179d3fcb5a2520c93a2546c43b31600194a3
  Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
  Date:   2020-08-18 (Tue, 18 Aug 2020)

  Changed paths:
    M sw/lib/ocaml/env.mli
    M sw/logalizer/play_core.ml

  Log Message:
  -----------
  [fix] use correct FP dumping tool for replay


Compare: 
https://github.com/paparazzi/paparazzi/compare/951d8072cfd0%5E...cdd3179d3fcb