Loading static/js/exercises.api.mjs +1 −0 Original line number Diff line number Diff line Loading @@ -192,6 +192,7 @@ class ExerciseExecutionContext { prepareAndResolve() } else { // We don't have a prompt, so wait until we do (by repeatedly checking) // TODO It might be that we never get a prompt, if an editor or pager is open. In this case, we should attempt to close the editor or pager. const intervalId = setInterval(() => { if (getTerminalContents().length > 0) { clearInterval(intervalId) Loading Loading
static/js/exercises.api.mjs +1 −0 Original line number Diff line number Diff line Loading @@ -192,6 +192,7 @@ class ExerciseExecutionContext { prepareAndResolve() } else { // We don't have a prompt, so wait until we do (by repeatedly checking) // TODO It might be that we never get a prompt, if an editor or pager is open. In this case, we should attempt to close the editor or pager. const intervalId = setInterval(() => { if (getTerminalContents().length > 0) { clearInterval(intervalId) Loading