Il 24/10/2012 14:16, Nicholas Thomas ha scritto: > > I've also just noticed that flush & discard don't take the send_mutex > before writing to the socket. That can't be intentional, surely? Paolo?
No, it's a bug. Paolo
Il 24/10/2012 14:16, Nicholas Thomas ha scritto: > > I've also just noticed that flush & discard don't take the send_mutex > before writing to the socket. That can't be intentional, surely? Paolo?
No, it's a bug. Paolo