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

[Hans de Goede]

Ack.

On 01/13/2011 06:01 AM, Alon Levy wrote:
> ---
>   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()