empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Terminology fix.

Browse source
This commit is contained in:
Markus Armbruster 2006-03-18 18:14:56 +00:00
parent b5c2310c62
commit 457bf97cb3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/clients-howto
View file

@ -242,7 +242,7 @@ The following ids occur:
Asynchronous message. The client should display the text
immediately.
emp_client prints the text verbatim, prepended by a newline. This
emp_client prints the text verbatim, prepended by a line feed. This
is clearly sub-optimal, because it can be inserted in the middle of
user input. Clients wishing to to display asynchronous messages
together with normal I/O should insert them before the current