From fe69a4125558f7b464d5c5440e954277db459498 Mon Sep 17 00:00:00 2001
From: Jason Volk <jason@zemos.net>
Date: Fri, 17 Aug 2018 12:42:24 -0700
Subject: [PATCH] ircd::ctx::pool: Fix dtor; use terminate() rather than
 interrupt().

---
 ircd/ctx.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ircd/ctx.cc b/ircd/ctx.cc
index a7dee2e6e..12f5219d8 100644
--- a/ircd/ctx.cc
+++ b/ircd/ctx.cc
@@ -971,6 +971,9 @@ ircd::ctx::pool::del(const size_t &num)
 {
 	const ssize_t requested(size() - num);
 	const size_t target(std::max(requested, ssize_t(0)));
+	for(size_t i(target); i < ctxs.size(); ++i)
+		ctxs.at(i).terminate();
+
 	while(ctxs.size() > target)
 		ctxs.pop_back();
 }