Is this ever necessary when the process has already exited? What is there left to close?