- do_record is set, are recorded via record(), and save_world() is called.
- The prefix string is inserted into the server's input message between its
- beginning 'input ' & ':'. All activity is preceded by a server_test() call.
+ do_record is set, are recorded via record(), and save_world() is called if
+ 15 seconds have passed since the last time it was called. The prefix string
+ is inserted into the server's input message between its beginning 'input '
+ & ':'. All activity is preceded by a server_test() call.