Functions to kill and cleanly restart a session's process (refs #61).