Skip to content
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

Open
Open
EnvPool should detect if its worker processes have ended#11

Description

@heiner
heiner
opened on Jan 31, 2022

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions