
Before this, we would restore the topmost old session directory. This commit makes sure that we remove it when we are done with it. This commit was SVN r21971.
Before this, we would restore the topmost old session directory. This commit makes sure that we remove it when we are done with it. This commit was SVN r21971.