如何关闭tornado.web的Application

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

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

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

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

搜索Application如何关闭，还真有一个“内存溢出”