diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 3a9d1083..703844c3 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -215,6 +215,9 @@ var CodeOceanEditor = {
                     try {
                         return await callback();
                     } catch (error) {
+                        // WebSocket errors are handled in `showWebsocketError` already.
+                        if (error.target instanceof WebSocket) return;
+
                         console.error(JSON.stringify(error));
                         Sentry.captureException(JSON.stringify(error), {mechanism: {handled: false}});
                     }