websocket.__init__(): record the handler (for passing user/config info down)
websocket.read_thread(): catch ClosedError