From 71acb0cf3d4a99dc0358862679f0ccc0434f223f Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Wed, 16 Aug 2023 23:11:12 +0200
Subject: [PATCH] Check for presence of RfC Modal before hiding

Fix CODEOCEAN-FRONTEND-E
---
 app/assets/javascripts/editor/editor.js.erb | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 5d8b539f..d3689524 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -385,7 +385,10 @@ var CodeOceanEditor = {
         $(document).unbind('keydown');
         this.teardownWorkspaceButtons();
         this.teardownRequestForComments();
-        bootstrap.Modal.getInstance($('#comment-modal'))?.hide();
+        const rfcModal = $('#comment-modal');
+        if (rfcModal.isPresent()) {
+            bootstrap.Modal.getInstance(rfcModal)?.hide();
+        }
         this.teardownFileTreeButtons();
     },