diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-11 10:59:06 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-11 10:59:06 +0200 |
| commit | ff25687349139a4811bfe3e9053d1516557f1b2e (patch) | |
| tree | 6457ecb86bf65e681debdff71819b6f6c5cdf9ad /server | |
| parent | a0a1835ff6552820c5859fc79b8a0a3dbc522a31 (diff) | |
s/hint_defs/hint_type/g
Diffstat (limited to 'server')
| -rw-r--r-- | server/prolog_session.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/server/prolog_session.py b/server/prolog_session.py index 3e48cbc..c06c6d0 100644 --- a/server/prolog_session.py +++ b/server/prolog_session.py @@ -133,9 +133,9 @@ class PrologSession(object): with self._access_lock: for hint in hints: for mod in [language_mod, problem_mod]: - if hasattr(mod, 'hint_defs') and hint['id'] in mod.hint_defs: - hint_def = mod.hint_defs[hint['id']] - hint_def.instantiate(hint, self._sent_hints) + if hasattr(mod, 'hint_type') and hint['id'] in mod.hint_type: + hint_type = mod.hint_type[hint['id']] + hint_type.instantiate(hint, self._sent_hints) self._sent_hints.extend(hints) def run_for_user(self, user_id, problem_id, program, query): |