[paparazzi-commits] [paparazzi/paparazzi] b0e7e1: [emergency-kill] Kill is a setting. To be less xml...

[GitHub]

  Branch: refs/heads/obc_emergency_kill
  Home:   https://github.com/paparazzi/paparazzi
  Commit: b0e7e1a4f43580f54c522b604647e07ac25c08b9
      
https://github.com/paparazzi/paparazzi/commit/b0e7e1a4f43580f54c522b604647e07ac25c08b9
  Author: Christophe De Wagter <address@hidden>
  Date:   2016-10-01 (Sat, 01 Oct 2016)

  Changed paths:
    M sw/ground_segment/cockpit/live.ml
    M sw/ground_segment/tmtc/rotorcraft_server.ml
    M sw/ground_segment/tmtc/server.ml

  Log Message:
  -----------
  [emergency-kill] Kill is a setting. To be less xml dependent it should be a 
message so that several boards can be killed together