From ed117ab43800e0abd11563e051d38375a9d085dd Mon Sep 17 00:00:00 2001
From: Johannes Bechberger <me@mostlynerdless.de>
Date: Fri, 30 Dec 2016 21:05:20 +0100
Subject: [PATCH] Fix handling of keyboard interrupts

---
 mjtest/test/exec_tests.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mjtest/test/exec_tests.py b/mjtest/test/exec_tests.py
index 67e67b6..1e6a10a 100644
--- a/mjtest/test/exec_tests.py
+++ b/mjtest/test/exec_tests.py
@@ -179,9 +179,9 @@ class JavaExecTest(BasicSyntaxTest):
         except SigKill as sig:
             os.chdir(cwd)
             assert False
-        except:
+        except BaseException:
             os.chdir(cwd)
-            assert False
+            raise 
 
     def _check_hash_sum(self, file: str, hash_sum_file: str) -> bool:
         old_hash = ""
-- 
2.26.2