requested number of worker threads then destruction
of the manager would trigger an INSIST() failure.
[RT #12790]
requested number of worker threads then destruction
of the manager would trigger an INSIST() failure.
[RT #12790]