diff options
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 374f2fc..15e855a 100644 --- a/web/main.js +++ b/web/main.js @@ -243,6 +243,7 @@ var guiHandlers = { 'python_stop': true, 'hint': true, 'test': true, + 'get_attempts': true, 'get_current_solution': true, 'update_settings': true, 'load_problem': true, |