好的,所以答案是设置两个类,一个更新时间,另一个不断检查时间戳是否在 20 秒内没有更新。如果整个站点不是基于 CherryPy 构建的,那么在用户离开页面后终止进程时,这非常有用。在我的例子中,它只是坐在 :8080 上监听来自 Zend 项目的 JS ping。CherryPy 代码如下所示:
import cherrypy
import os
import time
class ProcKiller(object):
@cherrypy.expose
def index(self):
global var
var = time.time()
@cherrypy.expose
def other(self):
while(time.time()-var <= 20):
time.sleep(1)
print var
os.system('pkill proc')
cherrypy.quickstart(ProcKiller())
ping 的 JS 从字面上看很简单:
<script type="text/javascript">
function ping(){
$.ajax({
url: 'http://localhost:8080'
});
}
function initWatcher(){
$.ajax({
url: 'http://localhost:8080/other'
});
}
ping(); //Set time variable first
initWatcher(); //Starts the watcher that waits until the time var is >20s old
setInterval(ping, 15000); //Updates the time variable every 15s, so that while users are on the page, the watcher will never kill the process
</script>
希望这可以帮助其他人在用户离开页面后寻找类似的解决方案来处理杀戮!
石匠