Bot: close gracefully
Proxy: log server connection/disconnection
Bug fix: Tornado thread needs to be synchronized with worker thread, before attempting a handler.write