30 Jul
2013
30 Jul
'13
12:35 a.m.
On Tue, Jul 30, 2013 at 2:18 AM, Glyph
This does sound like a real bug :). My point is that it's not one that would necessarily be addressed *just* by switching to websockets...
Yes, certainly not. My comment was meant in the spirit of "the one issue that I /am/ aware of wouldn't be addressed by websockets". -- mithrandi, i Ainil en-Balandor, a faer Ambar