paparazzi-commits
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[paparazzi-commits] [paparazzi/paparazzi] 953135: [emergency-kill] Kill

From: GitHub
Subject: [paparazzi-commits] [paparazzi/paparazzi] 953135: [emergency-kill] Kill is a setting. To be less xml...
Date: Wed, 02 Nov 2016 05:31:22 -0700 
  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 95313515f40c08feaac83ff2044f7df04690d092
      
https://github.com/paparazzi/paparazzi/commit/95313515f40c08feaac83ff2044f7df04690d092
  Author: Christophe De Wagter <address@hidden>
  Date:   2016-11-02 (Wed, 02 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 (#1872)
reply via email to
[Prev in Thread] Current Thread [Next in Thread]