-
Petr Pudlak authored
Due to a GHC bug, 'fork' calls sometimes fail in multi-threaded environment. Therefore we retry the whole process several times, if the child process fails to start and communicate. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
5f291f2c