[paparazzi-commits] [paparazzi/paparazzi] 6ad7fa: Fix settings in log (#2569)

[Gautier Hattenberger]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 6ad7fa93d00a854e7a0b2901602c2c1f403296bd
      
https://github.com/paparazzi/paparazzi/commit/6ad7fa93d00a854e7a0b2901602c2c1f403296bd
  Author: Gautier Hattenberger <gautier.hattenberger@enac.fr>
  Date:   2020-08-26 (Wed, 26 Aug 2020)

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

  Log Message:
  -----------
  Fix settings in log (#2569)

* [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

* [fix] use correct FP dumping tool for replay