Server/py: Remove superfluous line.

[plomrogue] / src / server / io.h

diff --git a/src/server/io.h b/src/server/io.h
index 2f8397fa2da941b8689b681a109e5593da10355b..7c9148dba55a415c2e61c296b7ae9ef62dff4e51 100644 (file)
--- a/src/server/io.h
+++ b/src/server/io.h
@@ -1,4 +1,8 @@
 /* io.h
+ *
+ * This file is part of PlomRogue. PlomRogue is licensed under the GPL version 3
+ * or any later version. For details on its copyright, license, and warranties,
+ * see the file NOTICE in the root directory of the PlomRogue source package.
  *
  * Communication of the server with the outside world and its client via input,
  * output and world state files.
@@ -13,15 +17,7 @@
  * if queue is empty and world.do_update is set, update world state file (and
  * unset world.do_update) and write a single dot line to server out file, then
  * read server in file for the next load of bytes to put onto the input queue.
- *
- * Reading the server in file may put many \0-terminated strings on the queue at
- * once. Successive calls of io_round() will make these available one by one.
- * Each such call cuts off bytes from the beginning of world.queue, up to and
- * including the last \0 byte that is followed by a non-\0 byte or ends the
- * queue. If the queue starts with a \0 byte, it and its \0 followers are cut
- * and a NULL pointer is returned. Reading from the input file stops only when
- * one or more byte were read and the next read returns 0 bytes. If the
- * re-filled queue does not end in a \0 byte, a \0 byte is appended to it.
+ * (Queueing ensures only complete messages are interpreted.)
  */
 extern char * io_round();