$server_options and $local

Andrew Wendt (powerpig@m-net.arbornet.org)
Sat, 18 Jan 1997 11:06:44 PST


> Is there a list anywhere of all the useful props that can be put of 
> $server_options and $local?

All the $server_options stuff can be found in the programmer's manual under
the section "Server Assumptions About the Database".

You can get a copy from ftp://parcftp.xerox.com/pub/MOO/ProgrammersManual.txt

TTFN
Andy