diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-03-29T21·14+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-03-29T21·14+0100 |
| commit | acb8facbbc3ae0795987bd03a3dc2c17217d6172 (patch) | |
| tree | 4eb0509df531dd1c73c16e9099aedd2aeab45d03 /Makefile.config.in | |
| parent | 90dc50b07c3939dda44fde79f696f64bf8f2f4d7 (diff) | |
Fix potential segfault in waitForInput()
Since the addition of build-max-log-size, a call to handleChildOutput() can result in cancellation of a goal. This invalidated the "j" iterator in the waitForInput() loop, even though it was still used afterwards. Likewise for the maxSilentTime handling. Probably fixes #231. At least it gets rid of the valgrind warnings.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions