From d20692d3e84cc6b23e818cc03c3e11b213d6bc05 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Thu, 29 Oct 2020 12:21:55 +0100
Subject: [PATCH] Log more infos on websocket error

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

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 7de058d5..c64ef3ee 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -660,7 +660,7 @@ var CodeOceanEditor = {
             text: $('#flash').data('websocket-failure'),
             showPermanent: true
         });
-        Sentry.captureException(JSON.stringify(error));
+        Sentry.captureException(JSON.stringify(error, ["message", "arguments", "type", "name", "data"]));
     },
 
     showFileDialog: function (event) {