From 81b59a62052a865923dee149cd48b32af2690947 Mon Sep 17 00:00:00 2001 From: Ted Unangst Date: Mon, 15 Apr 2019 17:52:39 -0400 Subject: [PATCH] spelling fixes from rczlonka --- docs/ping.txt | 4 ++-- docs/spec.txt | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/ping.txt b/docs/ping.txt index 91a91dc..6048c33 100644 --- a/docs/ping.txt +++ b/docs/ping.txt @@ -75,8 +75,8 @@ Servers which do not understand the Ping activity will hopefully ignore it. -- usage -It is unspecified how one initiaties a ping, but it is expected to be a manual -operation performed by a system adminstrator. This will generate traffic, +It is unspecified how one initiates a ping, but it is expected to be a manual +operation performed by a system administrator. This will generate traffic, which may then be logged. The admin reads the logs and solves the problem. Specific problem solving instructions are not provided here. diff --git a/docs/spec.txt b/docs/spec.txt index 1b5c25f..80f729a 100644 --- a/docs/spec.txt +++ b/docs/spec.txt @@ -57,7 +57,7 @@ Such explanation would be less necessary were the tables not misused for multiple purposes. Will probably split them apart again soon. Note that some logical seeming joins won't work. The honker column of honks -does not have a correspondng entry in the honkers table, since we frequently +does not have a corresponding entry in the honkers table, since we frequently receive messages from people we don't follow. Should we track everybody whose identity crosses our path? This seems unnecessary. The honkers table is more like a mapping of active relationships, not a directory of all peoples.