diff options
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/common.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/prolog/common.py b/prolog/common.py index 8e3d91d..e591e0b 100644 --- a/prolog/common.py +++ b/prolog/common.py @@ -1,4 +1,6 @@ import operator +import socket + import prolog.engine from prolog.util import tokenize from server.hints import Hint, HintPopup @@ -22,6 +24,7 @@ hint_type = { # Check program for syntax errors. def check_syntax(code, aux_code): + engine_id = None try: engine_id, output = prolog.engine.create(code=code+aux_code, timeout=1.0) if 'error' in map(operator.itemgetter(0), output): |