From d669dd5f7c25c242acae9b6e0e853aa8f3e200fd Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 3 May 2019 10:23:08 +0100 Subject: [PATCH] Clean up conn-subs on Unsubscribe --- imperative/broker/federation2.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/imperative/broker/federation2.rkt b/imperative/broker/federation2.rkt index 26e9743..f00f12c 100644 --- a/imperative/broker/federation2.rkt +++ b/imperative/broker/federation2.rkt @@ -201,7 +201,9 @@ "Mention of nonexistent subscription ID ~v from connection ~v. Ignoring." subid connid)] - [localid (unsubscribe! localid connid)])) + [localid + (conn-subs (hash-remove (conn-subs) subid)) + (unsubscribe! localid connid)])) (define (relay-add-or-del localid captures delta expected-outcome ctor) (define-values (new-conn-matches conn-outcome)