[PATCH] Fix order of dtors problem.

[Dave Korn]

Dave Korn wrote:

>   That sounds like a fairly reasonable way of getting it some wider beta testing
> than I can do on my own.  I think it's likely to all be OK, so how about we
> change the plan to checking it in now and *reverting* it if any problems show up
> by the other side of the weekend?

  FTR: All the tests ran to completion with no unexpected or anomalous side-effects.

    cheers,
      DaveK