aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Smeding <tom.smeding@gmail.com>2020-10-11 21:15:50 +0200
committerTom Smeding <tom.smeding@gmail.com>2020-10-11 21:15:50 +0200
commit3a7fd5157a274572bcae0f33a9f06b53b72c5c4e (patch)
tree3fc03a1c46c4cedeb437c0c799c66474ccc2c139
parent08b2de406a45f98cc2b46a35719f4c9d1a87c1b5 (diff)
protocol: Typo fix
-rw-r--r--protocol.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/protocol.md b/protocol.md
index 7fc912a..549ac01 100644
--- a/protocol.md
+++ b/protocol.md
@@ -232,7 +232,7 @@ are listed below.
user entered.
- `_push leave <roomname:word> <user:word>`
- When user X leaves room R, this push message is sent to: 1. all sessions of
- all remaining users in room R, and 2. all sessions of user X that did were
- not the one to send the initiating `leave_room` command.
+ all remaining users in room R, and 2. all sessions of user X that were not
+ the one to send the initiating `leave_room` command.
- `_push ping`
- Sent by the server once in a while. Please ignore.