Do not stop pool on refresh is modules list is empty
A Pool.refresh may be triggered on Pool.init if a cache listener is started by the new transaction of load_modules. In such cache the pool is empty just after the init.
Closes #13101 (closed)
A Pool.refresh may be triggered on Pool.init if a cache listener is started by the new transaction of load_modules. In such cache the pool is empty just after the init.
Closes #13101 (closed)