Cleanup batches inside the engine if they were not released explicitly before disconnection#8341

Merged

dyemanov merged 1 commit intomasterfrom

Dec 5, 2024

Commits on Dec 4, 2024

Cleanup batches inside the engine if they were not released explicitly before disconnection. This avoids a resource leak (it's mostly about TempSpace).
dyemanov
committed