diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 2 |
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} \\ |