Tornado's IOStream does not have an "address" attribute, so use
socket.getpeername() directly.