diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-30 20:59:52 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-30 20:59:52 +0200 |
commit | 3aff9ac1cd68f3dbdba1bd8371ed6ae7614dbd64 (patch) | |
tree | 1147ce74a13f40f64522aaf6ffac5e40f5253fc8 /server/handlers.py | |
parent | d9a62c1cde08dd26d5675d46ff73f8ebb50a55ef (diff) |
Add RobotSession
Currently it does nothing useful.
Diffstat (limited to 'server/handlers.py')
-rw-r--r-- | server/handlers.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/server/handlers.py b/server/handlers.py index 90b8e0b..6720cae 100644 --- a/server/handlers.py +++ b/server/handlers.py @@ -174,6 +174,8 @@ class Hint(CodeqService): lang_session = session.get_prolog() elif language == 'python': lang_session = session.get_python() + elif language == 'robot': + lang_session = session.get_robot() if lang_session is None: request.reply({'code': 3, 'message': 'Unknown language specified'}) @@ -200,6 +202,8 @@ class Test(CodeqService): lang_session = session.get_prolog() elif language == 'python': lang_session = session.get_python() + elif language == 'robot': + lang_session = session.get_robot() if lang_session is None: request.reply({'code': 3, 'message': 'Unknown language specified'}) |