Issue #15064: Make BaseManager.__enter__() start server if necessary.
3 files changed