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

[GitHub]

  Branch: refs/heads/obc_emergency_kill
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 5f793bc58cad3c56e0de45c574d04e3993b8ce31
      
https://github.com/paparazzi/paparazzi/commit/5f793bc58cad3c56e0de45c574d04e3993b8ce31
  Author: Christophe De Wagter <address@hidden>
  Date:   2016-11-01 (Tue, 01 Nov 2016)

  Changed paths:
    M sw/ground_segment/cockpit/live.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