session destroy的问题。

Question

我有台服务器，同一时间只让一个人修改某个页面。
我想着是，用session。当别人进入检查session文件，如有就知道有人在用。就不允许他用了。
当用的人destroy 后，别人就可以访问了。
可是问题是，使用的人点击按钮destroy是没有问题的，一旦他忘记了直接关掉了页面。session过期但是/VAR/LIB/PHP/SESSION下的文件还在。我就不能判断是不是有别人在用了。
该怎么处理呢？多谢了！！

Answer 1

php脚本，开头处flock锁文件，结尾处flock解锁文件。