Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-30 03:27:33 +08:00
Code Issues Actions 26 Packages Projects Releases Wiki Activity

More clever choice of new id

Browse Source
This commit is contained in:
Pascal Brisset
2008-02-06 03:34:58 +00:00
parent b7488dbe74
commit e9db49603f
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/pc_aircraft.ml
+8 -3
View File
@@ -64,12 +64,17 @@ let write_conf_xml = fun ?(user_save = false) () ->
end end
let new_ac_id = fun () -> let new_ac_id = fun () ->
let m = ref 0 in let used = Array.make 256 false in
Hashtbl.iter Hashtbl.iter
(fun _ x -> (fun _ x ->
m := max !m (int_of_string (ExtXml.attrib x "ac_id"))) used.(int_of_string (ExtXml.attrib x "ac_id")) <- true)
Utils.aircrafts ; Utils.aircrafts ;
!m + 1 let rec first_unused = fun i ->
if i < 256 then
if not used.(i) then i else first_unused (i+1)
else
failwith "Already 256 A/C in your conf.xml file !" in
first_unused 1
let parse_conf_xml = fun vbox -> let parse_conf_xml = fun vbox ->
let strings = ref [] in let strings = ref [] in