diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-03-04 17:51:59 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-03-04 19:44:53 +0100 |
| commit | 2da76713f113330c10d6a857c38927452bf57a61 (patch) | |
| tree | ef082770b5a8343bde33931665e3ef891103215b /executor/executor.cc | |
| parent | b2bebe1217cea83046897e28cf1366b72c3ff329 (diff) | |
executor: don't fail on "negative running"
See #502
This still happens periodically.
Diffstat (limited to 'executor/executor.cc')
| -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 f98c6b219..35123b32d 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -952,7 +952,7 @@ void handle_completion(thread_t* th) event_isset(&th1->ready), event_isset(&th1->done), th1->call_index, (uint64)th1->res, th1->reserrno); } - fail("negative running"); + exitf("negative running"); } } |