Rob Bygrave e1522df8a5 Fix for #3012 Manual server shutdown leads to memory leak ...

The issue being that shutdown() // with no args was
not calling ShutdownManager.unregisterDatabase(this)
noting that shutdown(boolean, boolean) did.

This change merges the old shutdownInternal(boolean, boolean)
method into shutdown(boolean, boolean) and simplifies
shutdown() to just call shutdown(boolean, boolean).

2023-03-29 20:59:23 +13:00

..

src

Fix for #3012 Manual server shutdown leads to memory leak

2023-03-29 20:59:23 +13:00

pom.xml

Bump to next snapshot version

2023-03-23 01:12:10 +13:00