server/red_channel: workaround for fast client disconnect bug (TODO - real fix)
server/red_channel: workaround for fast client disconnect bug (TODO - real fix)

mathslinux/spice,mathslinux/spice,fgouget/spice,freedesktop-unofficial-mirror/spice__spice,Fantu/spice,ya-mouse/spice,mathslinux/spice,SPICE/spice,freedesktop-unofficial-mirror/spice__spice,alon/spice-server,freedesktop-unofficial-mirror/spice__spice,dezelin/spice,Fantu/spice,freedesktop-unofficial-mirror/spice__spice,SPICE/spice,elmarco/spice,elmarco/spice,fgouget/spice,mathslinux/spice,Fantu/spice,ya-mouse/spice,alon/spice-server,dezelin/spice,dezelin/spice,freedesktop-unofficial-mirror/spice__spice,dezelin/spice,elmarco/spice,alon/spice-server,dezelin/spice,fgouget/spice,fgouget/spice,Fantu/spice,mathslinux/spice,ya-mouse/spice,elmarco/spice,elmarco/spice,alon/spice-server,alon/spice-server,SPICE/spice