[Spice-devel] [PATCH spice-server 06/10] reds: disconnect the session when an essential channel is disconnected

[Yonit Halperin]

On 05/08/2013 10:55 AM, Marc-André Lureau wrote:
>
> On Wed, May 8, 2013 at 4:55 PM, Yonit Halperin <yhalperi at redhat.com
> <mailto:yhalperi at redhat.com>> wrote:
>
>     If these channels were already connected, I believe it is better to
>     close the client, than having the user don't understand why suddenly
>     the display is frozen, or why his keyboard and mouse don't work.
>
>
> I guess you are talking from server-side triggered disconnection. The
> client is best to handle what to do in this case imho, the server shouldn't.
>
I can live with that. Maybe we should add to spice-gtk a user 
notification when a channel gets suddenly disconnected.
>
> --
> Marc-André Lureau