From 79e8d87e5fcf7d6c442447cad398177e616f2ee1 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Mon, 21 Nov 2016 17:46:56 +1300
Subject: [PATCH] Terminate a websocket subscription when the websocket closes

---
 racketmq/hub/websocket.rkt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/racketmq/hub/websocket.rkt b/racketmq/hub/websocket.rkt
index 13a8312..8038da7 100644
--- a/racketmq/hub/websocket.rkt
+++ b/racketmq/hub/websocket.rkt
@@ -46,6 +46,8 @@
 
            (assert (web-response-websocket id))
 
+           (stop-when (websocket-connection-closed id))
+
            (on (message ($ n (notification topic
                                            $canonical-hub
                                            $canonical-topic