php防止用户刷新重复提交的方法

Session保存在服务器端，在PHP过程中改变Session变量的值后，即保存在服务器端，下次访问这个变量时，得到是新赋的值，所以，可以用一个Session变量记录表单提交的次数，大于1时，就不在处理表单中的数据。

<!--?php
/**
 * 防止刷新 重复提交
* site bbs.it-home.org
*/
if (isset($_POST['action']) && $_POST['action'] == 'submitted') {  
      session_start();  
      isset($_SESSION['submit_time']) or die ("no session");  
      if ($_SESSION['submit_time']==0){  
              print '<pre class="brush:php;toolbar:false"-->';  
        
              print_r($_POST);  
              print 'Please try again';  
        
              print '

';  
        
              print_r($_POST);  
              echo "However you have submitted";  
              print '

上面代码有个缺点： 没有明确销毁Session，失效的Session文件可能仍然保留在服务器文件系统中。 哪位有好的办法，还请分享一下。