diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-14 17:57:09 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-14 17:57:09 +0200 |
commit | 520420556ad9f2871cd8c5910645193508cb4082 (patch) | |
tree | 08efd34b6c9d3cc071b6c5345b213ec9f7f59dd5 /python/util.py | |
parent | 7ae2d8824ab59dfbda6eaf7f621b6d3bfdec56e7 (diff) |
Use sandbox for testing Python programs
Use interpreter.py for running tests as well as interactive sessions.
Signals are now sent with "sandbox <user> kill", so terminator is not
needed anymore.
Diffstat (limited to 'python/util.py')
-rw-r--r-- | python/util.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/python/util.py b/python/util.py index ce89558..8c1a0c7 100644 --- a/python/util.py +++ b/python/util.py @@ -59,6 +59,8 @@ def get_exception_desc(exc): return [{'id':'eof_error'}] if 'timed out' in exc: return [{'id':'timed_out'}] + if 'sandbox violation' in exc: + return [{'id': 'sandbox_violation'}] if 'NameError' in exc: return [{'id':'name_error', 'args': {'message': exc}}] elif 'TypeError' in exc: |