-
Petr Pudlak authored
Apparently due to some library bug, forking sometimes fails: The new process is running, but it doesn't start executing. Therefore we retry the attempt several times. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
882e7d72