[Spice-devel] [PATCH 05/10] server/reds: protect reds_update_mouse_mode when main_channel is disconnected

[Alon Levy]

---
 server/reds.c |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)

diff --git a/server/reds.c b/server/reds.c
index d79b02c..30a1b0c 100644
--- a/server/reds.c
+++ b/server/reds.c
@@ -725,7 +725,10 @@ static void reds_update_mouse_mode()
         reds_set_mouse_mode(SPICE_MOUSE_MODE_SERVER);
         return;
     }
-    main_channel_push_mouse_mode(reds->main_channel, reds->mouse_mode, reds->is_client_mouse_allowed);
+    if (reds->main_channel) {
+        main_channel_push_mouse_mode(reds->main_channel, reds->mouse_mode,
+                                     reds->is_client_mouse_allowed);
+    }
 }
 
 static void reds_agent_remove()
-- 
1.7.3.4