K 10
svn:author
V 3
dwp
K 8
svn:date
V 27
2000-01-05T11:55:36.000000Z
K 7
svn:log
V 1022
Revise and improve the server 'help' command, to allow:
- an introductory help text ('help');
- more detailed help on individual server commands ('help <command>');
- brief listing of all (available) commands ('help commands').
- fold in 'explain' functionality ('help options' and 'help <option>').
Help argument can be abbreviated; 'explain' still exists for backward
compatibility.

Also fixes a hole that clients could previoulsy obtain values of
options they shouldn't have (eg, rand seeds) via 'show' and 'explain';
now use new function may_view_option().

Lists of commands and options supplied to clients are now restricted
to those the client is likely to be interested in, as a convenience.
Detailed help is still available on other commands/options if the
client player knows the command/option name to ask for.

Other minor changes:
- add farewell message to quit_game(), and change exit result to 0;
- in show, move string values from (min,max) column to value column;
- add some const and static qualifiers.

END