From 520420556ad9f2871cd8c5910645193508cb4082 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Wed, 14 Oct 2015 17:57:09 +0200
Subject: 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.
---
 python/util.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'python/util.py')

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:
-- 
cgit v1.2.1