Pool: Worker process support for gdb by allowing for EINTR in select