From b6a3200dfabf11e9e7f30aa88de7c35f5eab6b58 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 13 Jun 2019 12:50:55 +0100 Subject: [PATCH] Repair error: an End was missing --- imperative/distributed/federation.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/imperative/distributed/federation.rkt b/imperative/distributed/federation.rkt index a03da7a..8891b87 100644 --- a/imperative/distributed/federation.rkt +++ b/imperative/distributed/federation.rkt @@ -408,7 +408,8 @@ (err! 'nonexistent-endpoint item)] [localid (link-subs (hash-remove (link-subs) subid)) - (unsubscribe! localid linkid)])] + (unsubscribe! localid linkid)]) + (extend-turn! turn (End subid))] [(End localid) (for [(captures (in-set (hash-ref (link-matches) localid set)))] (remove-match! localid captures linkid))