def get_pid(self, name):
        """Get PID file name for a named notebook."""
        pid_file = os.path.join(self.get_work_folder(name), "notebook.pid")
        return pid_file
Get PID file name for a named notebook.