[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 58e6ba: [emergency-kill] Kill
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 58e6ba: [emergency-kill] Kill is a setting. To be less xml... |
|
Date: |
Mon, 31 Oct 2016 09:57:48 -0700 |
Branch: refs/heads/obc_save_telemetry
Home: https://github.com/paparazzi/paparazzi
Commit: 58e6ba3f08455102bea6707a596bb3ead5dc6cdc
https://github.com/paparazzi/paparazzi/commit/58e6ba3f08455102bea6707a596bb3ead5dc6cdc
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/rotorcraft_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
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] 58e6ba: [emergency-kill] Kill is a setting. To be less xml...,
GitHub <=