From 069e21c82557fa45ce59e340a5aaf6ef691b89b5 Mon Sep 17 00:00:00 2001
From: Karen Arutyunov <karen@codesynthesis.com>
Date: Fri, 6 Nov 2020 17:59:07 +0300
Subject: Adapt to process::kill() semantics change

---
 mod/external-handler.cxx | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'mod')

diff --git a/mod/external-handler.cxx b/mod/external-handler.cxx
index 7f26680..2f58bf5 100644
--- a/mod/external-handler.cxx
+++ b/mod/external-handler.cxx
@@ -95,6 +95,8 @@ namespace brep
                                   data_dir));
         pipe.out.close ();
 
+        // Kill the process and wait for its completion.
+        //
         auto kill = [&pr, &warn, &handler, &ref] ()
         {
           // We may still end up well (see below), thus this is a warning.
@@ -103,6 +105,7 @@ namespace brep
                << " execution timeout expired";
 
           pr.kill ();
+          pr.wait ();
         };
 
         try
-- 
cgit v1.1