diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-25 15:56:26 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-25 15:56:26 +0100 |
| commit | 3f9c073475628db7ae400e0df028b6b066ebf26c (patch) | |
| tree | de460dbad672a81339d1516424324ef6997da4af /web | |
| parent | e8e0e93719cf276d1d3df6b47c53f30c5ad83ac8 (diff) | |
Add a get_solutions(problem_ids) API function
It returns the user’s solutions to given problems.
Diffstat (limited to 'web')
| -rw-r--r-- | web/main.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/web/main.js b/web/main.js index 81897cf..3e2c0a7 100644 --- a/web/main.js +++ b/web/main.js @@ -323,6 +323,7 @@ var guiHandlers = { 'hint': true, 'test': true, 'get_attempts': true, + 'get_solutions': true, 'get_current_solution': true, 'update_settings': true, 'load_problem': true, |