[paparazzi-commits] [paparazzi/paparazzi] c76da3: [PPRZ CENTER] Fixed detection of child processes e...

[GitHub]

  Branch: refs/heads/v5.0
  Home:   https://github.com/paparazzi/paparazzi
  Commit: c76da3dae3d7241a93fa88fb728b49687a3edae5
      
https://github.com/paparazzi/paparazzi/commit/c76da3dae3d7241a93fa88fb728b49687a3edae5
  Author: Piotr Esden-Tempski <address@hidden>
  Date:   2013-11-18 (Mon, 18 Nov 2013)

  Changed paths:
    M sw/supervision/pc_common.ml

  Log Message:
  -----------
  [PPRZ CENTER] Fixed detection of child processes exitting on Mac OS.

We are now checking if the input channel is empty when receiving the IN
callback. If that is the case we assume that the child process exitted,
ond call the close process callback that normally is treggered by the
HUP callback.

Some background: On OS X glib is using it's own implementation of poll
that does not generate the HUP signal. (It would be possible to add this
functionality modelled after the SSH implementation of bsd_poll) The
glib implementation does generate IN signal when the pipe get's closed.
So we can just check if the input channel is empty and if that is the
case infer that the pipe got closed.