diff options
Diffstat (limited to 'yaksh/base_evaluator.py')
-rw-r--r-- | yaksh/base_evaluator.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/yaksh/base_evaluator.py b/yaksh/base_evaluator.py index 653aef0..e702f68 100644 --- a/yaksh/base_evaluator.py +++ b/yaksh/base_evaluator.py @@ -35,7 +35,7 @@ class BaseEvaluator(object): stdout, stderr = proc.communicate() except TimeoutException: # Runaway code, so kill it. - os.killpg(os.getpgid(proc.pid), signal.SIGTERM) + os.killpg(os.getpgid(proc.pid), signal.SIGKILL) # Re-raise exception. raise return proc, stdout.decode('utf-8'), stderr.decode('utf-8') |