diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-11-19 10:29:17 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-11-19 10:29:17 +0100 |
| commit | 6a76998e5e88331ce4f5ced88298a0a253be8c76 (patch) | |
| tree | 6a7bddef38406ef1dd502bd57ddd45c2931d5fe4 /executor | |
| parent | 485651138e96741ff79f16d212f4db0fa7ec1b28 (diff) | |
executor: fix detection of last call
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/executor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index fa03107bd..effe3c3af 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -302,7 +302,7 @@ retry: // Check if any of previous calls have completed. // Give them some additional time, because they could have been // just unblocked by the current call. - bool last = read_input(&input_pos, true); + bool last = read_input(&input_pos, true) == instr_eof; usleep(last ? 1000 : 100); for (int i = 0; i < kMaxThreads; i++) { th = &threads[i]; |
