From 7dd217be6adca46336757414f07bb2bb50608baf 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 --- imperative/distributed/server.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/imperative/distributed/server.rkt b/imperative/distributed/server.rkt index 796efa5..08cf926 100644 --- a/imperative/distributed/server.rkt +++ b/imperative/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)]))