diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-08-09 14:50:00 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-08-09 14:50:00 +0200 |
| commit | 8f634d6b940d5ebd92fa1a951fcf04ed2d2c433b (patch) | |
| tree | 7aa055ba6829c3e2efb2fa2905d4c6dfbf462f83 /prolog | |
| parent | bfd0dab7b66702086da0527e6b5b69c3b7a32f67 (diff) | |
Add a missing import to prolog/common.py
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): |