Clean up conn-subs on Unsubscribe
This commit is contained in:
parent
1c2bd11373
commit
38e3894a3d
|
@ -201,7 +201,9 @@
|
||||||
"Mention of nonexistent subscription ID ~v from connection ~v. Ignoring."
|
"Mention of nonexistent subscription ID ~v from connection ~v. Ignoring."
|
||||||
subid
|
subid
|
||||||
connid)]
|
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 (relay-add-or-del localid captures delta expected-outcome ctor)
|
||||||
(define-values (new-conn-matches conn-outcome)
|
(define-values (new-conn-matches conn-outcome)
|
||||||
|
|
Loading…
Reference in New Issue