From 5189ec824923f7abe6f897fa73037f6d6d9011c7 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Tue, 14 Dec 2021 23:05:29 +0100
Subject: [PATCH] Fix resetting active file if filetree is disabled

---
 app/assets/javascripts/editor/submissions.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor/submissions.js b/app/assets/javascripts/editor/submissions.js
index 219bae71..f72c478f 100644
--- a/app/assets/javascripts/editor/submissions.js
+++ b/app/assets/javascripts/editor/submissions.js
@@ -115,7 +115,7 @@ CodeOceanEditorSubmissions = {
     this.showSpinner(this);
     this.ajax({
       method: 'GET',
-      url: $('#start-over').data('url')
+      url: $('#start-over').data('url') || $('#start-over-active-file').data('url')
     }).done(function(response) {
       this.hideSpinner();
       _.each(this.editors, function(editor) {