From bf8279a2ab4c0aada224b47890c35f49a08dd327 Mon Sep 17 00:00:00 2001
From: Andrea Fioraldi <andreafioraldi@gmail.com>
Date: Thu, 11 Feb 2021 16:38:12 +0100
Subject: [PATCH] exit on timeout

---
 afl/src/executors/inprocess.rs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/afl/src/executors/inprocess.rs b/afl/src/executors/inprocess.rs
index 1913706b17..2a2583b1cd 100644
--- a/afl/src/executors/inprocess.rs
+++ b/afl/src/executors/inprocess.rs
@@ -273,9 +273,8 @@ pub mod unix_signals {
         )
         .expect(&format!("Could not send crashing input {:?}", input));
 
-        mgr.await_restart_safe();
+        //mgr.await_restart_safe();
         
-        std::process::exit(139);
     }
 
     pub unsafe extern "C" fn libaflrs_executor_inmem_handle_timeout<C, EM, FT, I, OT, R>(
@@ -314,7 +313,7 @@ pub mod unix_signals {
 
         mgr.await_restart_safe();
 
-        //process::abort();
+        std::process::exit(1);
     }
 
     #[inline]