Finding out when a process has died