From fedf7c8190b403d0315d51187a7339fb10da2c63 Mon Sep 17 00:00:00 2001
From: tlienart <tlienart@me.com>
Date: Thu, 20 Jul 2023 12:07:08 +0200
Subject: [PATCH] removing the devnull

---
 src/server.jl | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/server.jl b/src/server.jl
index 56908e9..071040e 100644
--- a/src/server.jl
+++ b/src/server.jl
@@ -52,9 +52,7 @@ function update_and_close_viewers!(
     @sync for wsᵢ in ws_to_update_and_close
         isopen(wsᵢ.io) && @spawn begin
             try
-                redirect_stderr(devnull) do
-                    HTTP.WebSockets.send(wsᵢ, "update")
-                end
+                HTTP.WebSockets.send(wsᵢ, "update")
             catch
             end
         end
@@ -65,10 +63,8 @@ function update_and_close_viewers!(
     @sync for wsi in ws_to_update_and_close
         isopen(wsi.io) && @spawn begin
             try
-                redirect_stderr(devnull) do
-                    wsi.writeclosed = wsi.readclosed = true
-                    close(wsi.io)
-                end
+                wsi.writeclosed = wsi.readclosed = true
+                close(wsi.io)
             catch
             end
         end