当用户取消脚本时如何处理废弃的PID文件？

Looking at this PHP Man page:

http://php.net/manual/en/features.connection-handling.php

I quote:

You can decide whether or not you want a client disconnect to cause your script to be aborted. Sometimes it is handy to always have your scripts run to completion even if there is no remote browser receiving the output. The default behaviour is however for your script to be aborted when the remote client disconnects. This behaviour can be set via the ignore_user_abort php.ini directive as well as through the corresponding php_value ignore_user_abort Apache httpd.conf directive or with the ignore_user_abort() function. If you do not tell PHP to ignore a user abort and the user aborts, your script will terminate.

The one exception is if you have registered a shutdown function using register_shutdown_function(). With a shutdown function, when the remote user hits his STOP button, the next time your script tries to output something PHP will detect that the connection has been aborted and the shutdown function is called. This shutdown function will also get called at the end of your script terminating normally, so to do something different in case of a client disconnect you can use the connection_aborted() function. This function will return TRUE if the connection was aborted.

Stop watching for the PID file to go away. Start using flock so the operating system will clean up the lock if you exit prematurely.

Example code from http://tuxradar.com/practicalphp/8/11/undefined:

<?php
    $fp = fopen("foo.txt", "w");
    if (flock($fp, LOCK_EX)) {
        print "Got lock!
";
        sleep(10);
        flock($fp, LOCK_UN);
    }
?>

Also, http://php.net/manual/en/function.flock.php.