From 2da76713f113330c10d6a857c38927452bf57a61 Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Thu, 4 Mar 2021 17:51:59 +0100
Subject: executor: don't fail on "negative running"

See #502
This still happens periodically.
---
 executor/executor.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'executor/executor.cc')

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");
 	}
 }
 
-- 
cgit mrf-deployment