Ticket #398: patch-aa

File patch-aa, 330 bytes (added by Dmitry Liakh, 15 years ago)

is this the right way to fix?

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