mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-06-05 23:49:00 +08:00
updated to suit osx
This commit is contained in:
committed by
Felix Ruess
parent
60f4cc243d
commit
0b6eafdb37
@@ -107,7 +107,7 @@ let run_and_monitor = fun ?(once = false) ?file gui log com_name com args ->
|
||||
let (pi, out, unixfd, io_watch) = run_and_log log ("exec "^c) in
|
||||
pid := pi;
|
||||
outchan := unixfd;
|
||||
let io_watch' = Glib.Io.add_watch [`HUP] (fun _ -> callback true;false) out in
|
||||
let io_watch' = Glib.Io.add_watch [`HUP;`OUT] (fun _ -> callback true;false) out in
|
||||
watches := [ io_watch; io_watch'] in
|
||||
|
||||
let remove_callback = fun () ->
|
||||
|
||||
Reference in New Issue
Block a user