Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-02 21:37:24 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

[Telemetry] Fix phase type. (#2809)

Browse Source
This commit is contained in:
Fabien-B
2021-12-13 23:49:06 +01:00
committed by GitHub
parent 04379ee9a3
commit 7bcb7e2182
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/telemetry.ml
+2 -2
View File
@@ -30,7 +30,7 @@ module Message = struct
type t = { type t = {
name: string; name: string;
period: msg_period; period: msg_period;
phase: int option; phase: float option;
xml: Xml.xml } xml: Xml.xml }
let from_xml = function let from_xml = function
@@ -44,7 +44,7 @@ module Message = struct
| Some _, Some _ -> failwith "Telemetry.Message.from_xml: either specify 'period' or 'freq' attribute, not both" | Some _, Some _ -> failwith "Telemetry.Message.from_xml: either specify 'period' or 'freq' attribute, not both"
| None, None -> failwith "Telemetry.Message.from_xml: specify 'period' or 'freq' attribute" | None, None -> failwith "Telemetry.Message.from_xml: specify 'period' or 'freq' attribute"
end; end;
phase = ExtXml.attrib_opt_int xml "phase"; phase = ExtXml.attrib_opt_float xml "phase";
xml xml
} }
| _ -> failwith "Telemetry.Message.from_xml: unreachable" | _ -> failwith "Telemetry.Message.from_xml: unreachable"