You're right. It didn't kill the session, it killed the process (Nutch (a search engine) was at its last stages of computing PageRank for tens of thousands of pages, which takes quite a while).