From cd051dc8c04e185f480f7c75fcb9aec2da6ab3d1 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 5 May 2014 12:03:31 -0400 Subject: [PATCH] Oops - forgot the default case --- external-latency.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/external-latency.rkt b/external-latency.rkt index 9020d8e..0be3098 100644 --- a/external-latency.rkt +++ b/external-latency.rkt @@ -82,7 +82,8 @@ (void (match server-variation [(? string? other) (printf "Press enter when the server has terminated.\n") - (read-line)])) + (read-line)] + [_ (void)])) (server-control 'wait) (log-info "Done.")