Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-06 07:53:43 +08:00
Code Issues Actions 30 Packages Projects Releases Wiki Activity

[ocaml] fix warning in live.ml

Browse Source
This commit is contained in:
Gautier Hattenberger
2016-02-04 17:04:22 +01:00
parent 2f582602a4
commit 2c952ca64f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/live.ml
+1 -1
View File
@@ -1480,7 +1480,7 @@ let listen_intruders = fun (geomap:G.widget) ->
let listen_acs_and_msgs = fun geomap ac_notebook strips confirm_kill my_alert auto_center_new_ac alt_graph timestamp ->
(** Probe live A/Cs *)
let probe = fun () ->
message_request "gcs" "AIRCRAFTS" [] (fun _sender vs -> _req_aircrafts := false; aircrafts_msg confirm_kill my_alert geomap ac_notebook strips vs) in
ignore(message_request "gcs" "AIRCRAFTS" [] (fun _sender vs -> _req_aircrafts := false; aircrafts_msg confirm_kill my_alert geomap ac_notebook strips vs)) in
let _ = GMain.Timeout.add 1000 (fun () -> probe (); !_req_aircrafts) in
(** New aircraft message *)