diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 11:51:28 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 11:51:28 +0100 |
commit | ecdc0b2a576cfddabc9b9763a32b28ae30fee3c0 (patch) | |
tree | f479c62949dd7851e66df5ee7f9211230b3cc5ad /server/problems.py | |
parent | 488c40522f831d7ef84efdd07f895479b79391c1 (diff) |
Implement pattern-based hints (see AIED2017)
Diffstat (limited to 'server/problems.py')
-rw-r--r-- | server/problems.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/server/problems.py b/server/problems.py index 10dec0d..9cccc21 100644 --- a/server/problems.py +++ b/server/problems.py @@ -65,6 +65,14 @@ def load_problem(language, problem_group, problem, tail_module): def load_facts(language, fact_module): return load_module('{0}.facts.{1}'.format(language, fact_module)) +def load_file(language, group, problem, name): + path = os.path.join(_path_prefix, language, 'problems', group, problem, name) + try: + with open(path, 'r') as f: + return f.read() + except: + return None + def load_problems(language, tuples, tail_module): modules = [] for problem_group, problem in tuples: |