研究热更新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()