diff options
Diffstat (limited to 'js/codeq')
| -rw-r--r-- | js/codeq/prolog.js | 5 | ||||
| -rw-r--r-- | js/codeq/python.js | 5 | ||||
| -rw-r--r-- | js/codeq/robot.js | 5 |
3 files changed, 6 insertions, 9 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js index 1b8d3c3..18e3fdd 100644 --- a/js/codeq/prolog.js +++ b/js/codeq/prolog.js @@ -47,8 +47,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ .fail(function (reason) { codeq.log.error('Failed to obtain the problem definition: ' + reason, reason); alert('Failed to obtain the problem definition: ' + reason); - - history.back();//TODO test + history.back(); }) .done(); }, @@ -59,7 +58,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ // end of experiment: Prolog hints jqScreen.css('display', 'none'); - prologHandler.destroy(); + if (prologHandler) prologHandler.destroy(); prologHandler = null; $('#navigation-problem-list').css('display', 'none'); diff --git a/js/codeq/python.js b/js/codeq/python.js index 893110b..05821e1 100644 --- a/js/codeq/python.js +++ b/js/codeq/python.js @@ -46,14 +46,13 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ .fail(function (reason) { codeq.log.error('Failed to obtain the problem definition: ' + reason, reason); alert('Failed to obtain the problem definition: ' + reason); - - history.back();//TODO test + history.back(); }) .done(); }, 'exit': function () { jqScreen.css('display', 'none'); - pythonHandler.destroy(); + if (pythonHandler) pythonHandler.destroy(); pythonHandler = null; $('#navigation-problem-list').css('display', 'none'); diff --git a/js/codeq/robot.js b/js/codeq/robot.js index f64e4a0..70f7c5d 100644 --- a/js/codeq/robot.js +++ b/js/codeq/robot.js @@ -46,14 +46,13 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ .fail(function (reason) { codeq.log.error('Failed to obtain the problem definition: ' + reason, reason); alert('Failed to obtain the problem definition: ' + reason); - - history.back();//TODO test + history.back(); }) .done(); }, 'exit': function () { jqScreen.css('display', 'none'); - robotHandler.destroy(); + if (robotHandler) robotHandler.destroy(); robotHandler = null; $('#navigation-problem-list').css('display', 'none'); |