+ * server's out file does not get updated, even on PING requests. Re-focus map
+ * view on player if world.focus_each_turn is set. Messages from the out file
+ * are put together on the queue first, from which only complete (\n-delimited)
+ * messages are read. Queues of messages are worked through completely / emptied
+ * before any re-drawing or further server polling happens.