Tambien en PHP puedes saber si un script tuyo se ha "abortado" su ejecución .. aunque lo normal es que para cuando vea el resultado en el cliente tu usuario .. ya se ha procesado el scritp.php por completo.
Si quieres ver el tema que te comento:
http://www.php.net/manual/en/functio...user-abort.php
Por otro lado .. si bien la solución javascript podría funcionar .. Lo que se suele hacer en esos casos es jugar con tiempos de expiración (tal cual lo hacen los scripts que indican cuantos usuarios hay en tal página activos). Ese tiempo de expiración es que le das al usuario si ha pasado X tiempo sin interactuar con el servidor. Ejemplos de esto tienes en una de las FAQ's de este foro ...
Un saludo,