summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2017-11-11 16:01:34 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2017-11-11 16:01:34 -0500
commitfb4e582bd0a673fc792d0fcc49fdcac2097bb0e0 (patch)
tree0ee629fef274200df4a973795217630ed7402264 /doc
parent2d22156b3814802c7f1c46db5f553af6904a794d (diff)
Manual fix: [self] only callable on the server
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 1b476499..985dab5b 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -2237,7 +2237,7 @@ $$\begin{array}{l}
\subsubsection{Asynchronous Message-Passing}
-To support asynchronous, ``server push'' delivery of messages to clients, any client that might need to receive an asynchronous message is assigned a unique ID. These IDs may be retrieved both on the client and on the server, during execution of code related to a client.
+To support asynchronous, ``server push'' delivery of messages to clients, any client that might need to receive an asynchronous message is assigned a unique ID. These IDs may be retrieved only on the server, during execution of code related to a client.
$$\begin{array}{l}
\mt{type} \; \mt{client} \\