--- backends/flint/flint_lock.cc.orig 2009-09-07 19:44:16.000000000 +0300 +++ backends/flint/flint_lock.cc 2009-09-07 19:41:54.000000000 +0300 @@ -200,7 +200,7 @@ close(fds[0]); int status; - while (waitpid(pid, &status, 0) < 0) { + while (waitpid(child, &status, 0) < 0) { if (errno != EINTR) break; }