diff options
Diffstat (limited to 'code_server.py')
-rwxr-xr-x | code_server.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/code_server.py b/code_server.py index 4d1663d..1276c76 100755 --- a/code_server.py +++ b/code_server.py @@ -166,11 +166,14 @@ class CodeServer(object): signal.alarm(SERVER_TIMEOUT) # Do whatever testing needed. + success = False try: success, err = self.check_bash_script(ref_path, submit_path, test_case_path) except TimeoutException: - success = False err = self.timeout_msg + except: + type, value = sys.exc_info()[:2] + err = "Error: {0}".format(repr(value)) finally: # Set back any original signal handler. signal.signal(signal.SIGALRM, old_handler) |