From ba47e6ce1fd8a611998e30eb83ba171e011de882 Mon Sep 17 00:00:00 2001
From: xiehan <52160700+Barenboim@users.noreply.github.com>
Date: Mon, 10 Aug 2020 18:05:48 +0000
Subject: [PATCH] Update WFServer.h

---
 src/server/WFServer.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/server/WFServer.h b/src/server/WFServer.h
index e4d3e5ec..9d503c83 100644
--- a/src/server/WFServer.h
+++ b/src/server/WFServer.h
@@ -134,7 +134,7 @@ public:
 		this->wait_finish();
 	}
 
-	/* Nonblocking terminating the server. For stopping multiply servers.
+	/* Nonblocking terminating the server. For stopping multiple servers.
 	 * Typically, call shutdown() and then wait_finish().
 	 * But indeed wait_finish() can be called before shutdown(), even before
 	 * start() in another thread. */