From 574e870bd169fa285c6dd589938c58d25dd3bdae Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Fri, 19 Oct 2018 15:27:14 +0200
Subject: [PATCH] fix reset for user created files (where therefore no original
 file is available)

---
 app/assets/javascripts/editor/submissions.js.erb | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor/submissions.js.erb b/app/assets/javascripts/editor/submissions.js.erb
index 21250f7e..1221b464 100644
--- a/app/assets/javascripts/editor/submissions.js.erb
+++ b/app/assets/javascripts/editor/submissions.js.erb
@@ -113,7 +113,9 @@ CodeOceanEditorSubmissions = {
         var file = _.find(response.files, function(file) {
           return file.id === file_id;
         });
-        editor.setValue(file.content);
+        if(file){
+            editor.setValue(file.content);
+        }
       }.bind(this));
     }.bind(this));
   },