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

[paparazzi-center] Allow settings/modules/flightplans outside the conf directory

Browse Source
This commit is contained in:
dewagter
2014-05-19 17:54:44 +02:00
committed by Gautier Hattenberger
parent a7bd583683
commit 07d789e413
1 changed files with 12 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/pc_common.ml
+12 -7
View File
@@ -59,14 +59,19 @@ let run_and_log = fun log exit_cb com ->
let io_watch_out = Glib.Io.add_watch [`IN] cb channel_out in
pid, channel_out, com_stdout, io_watch_out
let strip_prefix = fun dir file ->
let strip_prefix = fun dir file subdir ->
let n = String.length dir in
if not (String.length file > n && String.sub file 0 n = dir) then begin
let msg = sprintf "Selected file '%s' should be in '%s'" file dir in
GToolbox.message_box ~title:"Error" msg;
raise Exit
let home = Env.paparazzi_home in
let nn = String.length home in
if (String.length file > nn && String.sub file 0 nn = home) then begin
".." // String.sub file (nn+1) (String.length file - nn -1)
end else
let msg = sprintf "Selected file '%s' should be in '%s'" file dir in
GToolbox.message_box ~title:"Error" msg;
raise Exit
end else
String.sub file (n+1) (String.length file - n - 1)
subdir // String.sub file (n+1) (String.length file - n - 1)
let choose_xml_file = fun ?(multiple = false) title subdir cb ->
@@ -81,10 +86,10 @@ let choose_xml_file = fun ?(multiple = false) title subdir cb ->
| `OPEN, _ when multiple ->
let names = dialog#get_filenames in
dialog#destroy ();
cb (List.map (fun f -> subdir // strip_prefix dir f) names)
cb (List.map (fun f -> strip_prefix dir f subdir) names)
| `OPEN, Some name ->
dialog#destroy ();
cb [subdir // strip_prefix dir name]
cb [strip_prefix dir name subdir]
| _ -> dialog#destroy ()
end