This repository was archived by the owner on Oct 31, 2023. It is now read-only.
This repository was archived by the owner on Oct 31, 2023. It is now read-only.
EnvPool should detect if its worker processes have ended #11
Right now, any error in the environment, both at startup and stepping time, results in a timeout in EnvPool. We probably should waitpid(2) or something in the child and communicate issues to the (grand)parent.