diff options
author | mahesh | 2017-04-04 13:00:41 +0530 |
---|---|---|
committer | mahesh | 2017-04-04 13:00:41 +0530 |
commit | a9d7b48b6a5a79bf619500463d89f03e8ca1b7bb (patch) | |
tree | 0c0696c6d071efb7569e425f46c3df2cbb63f6f2 /yaksh/bash_stdio_evaluator.py | |
parent | 734ad94d177be8ad400eb6f97e98612ce099e56a (diff) | |
download | online_test-a9d7b48b6a5a79bf619500463d89f03e8ca1b7bb.tar.gz online_test-a9d7b48b6a5a79bf619500463d89f03e8ca1b7bb.tar.bz2 online_test-a9d7b48b6a5a79bf619500463d89f03e8ca1b7bb.zip |
Kills stray processes in code, hook and stdio evaluator
Diffstat (limited to 'yaksh/bash_stdio_evaluator.py')
-rw-r--r-- | yaksh/bash_stdio_evaluator.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/yaksh/bash_stdio_evaluator.py b/yaksh/bash_stdio_evaluator.py index 334620d..1ce729a 100644 --- a/yaksh/bash_stdio_evaluator.py +++ b/yaksh/bash_stdio_evaluator.py @@ -49,7 +49,8 @@ class BashStdIOEvaluator(StdIOEvaluator): shell=True, stdin=subprocess.PIPE, stdout=subprocess.PIPE, - stderr=subprocess.PIPE + stderr=subprocess.PIPE, + preexec_fn=os.setpgrp ) success, err = self.evaluate_stdio(self.user_answer, proc, self.expected_input, |