Revision 882e7d72
ID | 882e7d72fd457c8858e322273fc2374883f711e3 |
Parent | 5514a707 |
Child | 696adabd |
Retry forking a new process several times
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>
Files
- added
- modified
- copied
- renamed
- deleted