Editor: Allow file retrieval after code run

2022-10-04 15:17:16 +02:00
parent fb9672c7a4
commit 60078701f5
22 changed files with 311 additions and 8 deletions
--- a/app/assets/javascripts/editor/execution.js
+++ b/app/assets/javascripts/editor/execution.js
@ -48,6 +48,7 @@ CodeOceanEditorWebsocket = {
    this.websocket.on('exit', this.handleExitCommand.bind(this));
    this.websocket.on('status', this.showStatus.bind(this));
    this.websocket.on('hint', this.showHint.bind(this));
+    this.websocket.on('files', this.prepareFileDownloads.bind(this));
  },

  handleExitCommand: function() {