From 6f3b72d2077e6b8848851c2a598905b19e500996 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Tue, 19 Sep 2023 22:41:27 +0200
Subject: [PATCH] Fix missing Sentry span for WebSocket close

Fixes CODEOCEAN-FRONTEND-3C
---
 app/assets/javascripts/editor/execution.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor/execution.js b/app/assets/javascripts/editor/execution.js
index 01277422..6ded66d8 100644
--- a/app/assets/javascripts/editor/execution.js
+++ b/app/assets/javascripts/editor/execution.js
@@ -33,7 +33,7 @@ CodeOceanEditorWebsocket = {
     );
     CodeOceanEditorWebsocket.websocket = this.websocket;
     this.websocket.onError(this.showWebsocketError.bind(this));
-    this.websocket.onClose(span.finish.bind(span));
+    this.websocket.onClose(span?.finish?.bind(span));
   },
 
   initializeSocketForTesting: function(url) {