Session data not written due to segfault? Is there a manual way to cause a PHP script to terminate unexpectedly, so that sessions aren't written and resources aren't released?