[paparazzi-commits] [paparazzi/paparazzi] a94cb4: [paparazzicenter] fix GLib-CRITICAL warning when r...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: a94cb4cf3161987b0cc6299a126cb0ff136e9d9e
      
https://github.com/paparazzi/paparazzi/commit/a94cb4cf3161987b0cc6299a126cb0ff136e9d9e
  Author: Felix Ruess <address@hidden>
  Date:   2014-12-22 (Mon, 22 Dec 2014)

  Changed paths:
    M sw/supervision/pc_common.ml

  Log Message:
  -----------
  [paparazzicenter] fix GLib-CRITICAL warning when running clean/build/upload

The func of the HUP io watch returned false, meaning the event source was 
automatically removed.
This resulted in trying to remove a non existent source in the callback, which 
is bad as the id could already refer to something else...
And of course this was resulting in highly annoying warnings on every process 
that is automatically stopped/removed (like clean/build/upload):
GLib-CRITICAL **: Source ID xxx was not found when attempting to remove it

So by simply returning true to not automatically remove the event source this 
should be solved...