Fix handling of keyboard interrupts

ed117ab4 · Johannes Bechberger · 89dbd74f · ed117ab4
Commit ed117ab4 authored Dec 30, 2016 by Johannes Bechberger
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

mjtest/test/exec_tests.py mjtest/test/exec_tests.py +2 -2

No files found.
--- 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 = ""