On Tue, Apr 29, 2014 at 12:51:51PM +0200, 'Petr Pudlak' via ganeti-devel wrote: > 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 <[email protected]> > --- > I tested the patch with simulated fork failures, works as expected. > > src/Ganeti/Query/Exec.hs | 93 > ++++++++++++++++++++++++++++-------------------- > 1 file changed, 55 insertions(+), 38 deletions(-)
LGTM. Thanks. -- Klaus Aehlig Google Germany GmbH, Dienerstr. 12, 80331 Muenchen Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschaeftsfuehrer: Graham Law, Christine Elizabeth Flores
