Vlad Khorsun 2024.05.14 11:42:13
This should fix bug #8114 : Segfault in connections pool during server shutdown

Changed paths:
  M src/jrd/extds/ExtDS.cpp