From 5217e085ea41dac1f527a39f6b10af3d2b3d54ab Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 8 Jan 2012 14:54:20 -0500 Subject: [PATCH] Fill in relay unsubscription --- relay.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/relay.ml b/relay.ml index 1883aea..034e69b 100644 --- a/relay.ml +++ b/relay.ml @@ -32,8 +32,10 @@ let dispatch_message n ch m = (Message.subscribe_ok (Str filter)) (Str "") else Log.warn "Bind failed" [Str filter] - | Message.Unsubscribe token -> - () (* %%% TODO *) + | Message.Unsubscribe (Str token) -> + if Node.unbind token + then () + else Log.warn "Unbind failed" [Str token] | _ -> send_error ch "Message not understood" (Message.sexp_of_message m)