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

set gtk locale to 0 to avoid float_of_string bug with french locales (works only with programms launch using paparazzi center)

Browse Source
This commit is contained in:
Gautier Hattenberger
2008-05-19 09:29:46 +00:00
parent aac93af10d
commit 401bdbc546
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/pc_common.ml
+1 -1
View File
@@ -33,7 +33,7 @@ let conf_dir = Env.paparazzi_home // "conf"
let my_open_process_in = fun cmd ->
let (in_read, in_write) = Unix.pipe () in
let inchan = Unix.in_channel_of_descr in_read in
let pid = Unix.create_process "/bin/sh" [|"/bin/sh"; "-c"; cmd|] Unix.stdin in_write Unix.stderr in
let pid = Unix.create_process_env "/bin/sh" [|"/bin/sh"; "-c"; cmd|] (Array.append (Unix.environment ()) [|"GTK_SETLOCALE=0"|]) Unix.stdin in_write Unix.stderr in
Unix.close in_write;
pid, inchan