From 7ec9752f41c75d1e5ff1fb667e2d6b4623c35d50 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 16 May 2019 12:38:06 +0100 Subject: [PATCH] Accept and discard "Pong" replies from clients --- syndicate/distributed/server.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/syndicate/distributed/server.rkt b/syndicate/distributed/server.rkt index 796efa5..08cf926 100644 --- a/syndicate/distributed/server.rkt +++ b/syndicate/distributed/server.rkt @@ -70,4 +70,5 @@ [(Connect _) (send-error! id 'duplicate-connection-setup)] [(Peer _) (send-error! id 'duplicate-connection-setup)] [(Ping) (send! (message-server->poa id (Pong)))] + [(Pong) (void)] [_ (send-error! id 'invalid-message)]))