如何关闭tornado.web的Application

研究热更新Python程序时，需要将已有的HTTP服务器重启。

我的HTTP服务器是用tornado.web.Application生成的，这样很简单：

import tornado.web
webapp = Application(...)
webapp.listen(10000)

在热更新时会提示端口已被使用，那么就需要关闭它。

搜索Application如何关闭，还真有一个“内存溢出”😂，How do I stop Tornado web server?

不过，最好的答案也没能真正解决问题，只是把整个tornado都停止掉了，这未免太动粗了。

对Application各种dir，发现根本也没有stop，顿生邪念，tornado这么不成熟？！

后看官方文档发现，其实Application只是个代理人，它不是实际的HTTP对象。在它的listen方法调用后会返回一个HTTPServer对象，这才是关键。

需要把它保存起来，以后就可以stop了。

server=webapp.listen(10000)

server.stop()