[paparazzi-commits] [paparazzi/paparazzi] a1b8de: Supervision tools (#2350)

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: a1b8de2535c2a99d188c1f46136ae7a4dc14217c
      
https://github.com/paparazzi/paparazzi/commit/a1b8de2535c2a99d188c1f46136ae7a4dc14217c
  Author: Fabien-B <address@hidden>
  Date:   2018-11-29 (Thu, 29 Nov 2018)

  Changed paths:
    M conf/control_panel_example.xml
    A conf/tools/ads_b_intruders_receiver.xml
    A conf/tools/aeronauticalinfo.xml
    A conf/tools/app_server.xml
    A conf/tools/attitude_visualizer.xml
    A conf/tools/blacklisted
    A conf/tools/bluegigausbdongle.xml
    A conf/tools/bluegigausbdonglescanner.xml
    A conf/tools/data_link.xml
    A conf/tools/energymanager.xml
    A conf/tools/environment_simulator.xml
    A conf/tools/flight_plan_editor.xml
    A conf/tools/gazebo.xml
    A conf/tools/gcs.xml
    A conf/tools/gpsd_position_display.xml
    A conf/tools/http_server.xml
    A conf/tools/iridiumdialer.xml
    A conf/tools/ivy2nmea.xml
    A conf/tools/joystick.xml
    A conf/tools/link_combiner.xml
    A conf/tools/log_file_player.xml
    A conf/tools/log_plotter.xml
    A conf/tools/messages.xml
    A conf/tools/messages__python_.xml
    A conf/tools/natnet.xml
    A conf/tools/natnet3.xml
    A conf/tools/opensky_network_intruders.xml
    A conf/tools/payloadforward.xml
    A conf/tools/plot_meteo_profile.xml
    A conf/tools/real_time_plotter.xml
    A conf/tools/real_time_plotter__python_.xml
    A conf/tools/rtcm2ivy.xml
    A conf/tools/rtpviewer.xml
    A conf/tools/server.xml
    A conf/tools/settings.xml
    A conf/tools/settings__python_.xml
    A conf/tools/simulator.xml
    A conf/tools/svinfo.xml
    A conf/tools/video_synchronizer.xml
    A conf/tools/weather_station.xml
    A conf/tools/wind.xml
    M sw/supervision/pc_control_panel.ml

  Log Message:
  -----------
  Supervision tools (#2350)

The improvements:
- it is easier to add new tools that will be immediately visible for the users
- you can hide tools that you don't use
- you can set different default using the control_panel file
- it is backward compatible so you you don't change your current control_panel 
you keep every like before



      **NOTE:** This service has been marked for deprecation: 
https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.