On Sun, Mar 04 2018, Ludovic Courtès wrote:
> Sorry, I didn’t mean 0 but rather #f (indefinite wait).
>
> My point is: we shouldn’t wake up every 0.5 seconds for no 
> reason.  IOW,
> we should wake up periodically only in the non-pid-1-no-prctl 
> case.
>
> Does that make sense?

Yep! That makes a lot more sense. Patch attached.

Carlo