From 9ca16fcad5b5ea6fcde51fc6060d3b590654e277 Mon Sep 17 00:00:00 2001 From: joelcollin Date: Thu, 18 Apr 2019 11:24:19 -0400 Subject: [PATCH] Fixed minor typos. (#5681) --- website/source/docs/guides/servers.html.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/source/docs/guides/servers.html.md b/website/source/docs/guides/servers.html.md index 742785b1de..33a0ea0364 100644 --- a/website/source/docs/guides/servers.html.md +++ b/website/source/docs/guides/servers.html.md @@ -161,7 +161,7 @@ will shut down. To remove all agents that accidentally joined the wrong set of servers, clear out the contents of the data directory (`-data-dir`) on both client and server nodes. -These graceful methods to remove servres assumse you have a healthly cluster. +These graceful methods to remove servers assumes you have a healthly cluster. If the cluster has no leader due to loss of quorum or data corruption, you should plan for [outage recovery](/docs/guides/outage.html#manual-recovery-using-peers-json).