htwkmooc/codeocean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Handle undefined this.websocket when stopping code

Browse Source 
Fixes CODEOCEAN-CJ
This commit is contained in:
Sebastian Serth
2022-09-22 18:58:08 +02:00
committed by Sebastian Serth
parent 214aae2644
commit 2f622174fa
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
app/assets/javascripts/editor/evaluation.js
View File

@ -148,7 +148,7 @@ CodeOceanEditorEvaluation = {
*/ */
stopCode: function (event) { stopCode: function (event) {
event.preventDefault(); event.preventDefault();
if (this.isActiveFileStoppable()) { if (this.isActiveFileStoppable() && this.websocket) {
this.websocket.send(JSON.stringify({'cmd': 'client_kill'})); this.websocket.send(JSON.stringify({'cmd': 'client_kill'}));
this.killWebsocket(); this.killWebsocket();
this.cleanUpUI(); this.cleanUpUI();