JHCore to 1.8.0 script

• Date: Tue, 11 Jun 1996 11:05:32 PDT
• From:
  "Kenneth R. Fox" <fox@ccs.neu.edu>
• cc: moo-cows@parc.xerox.com

This script will upgrade an existing JHCore to 1.8.0.  It makes only
the necessary changes mentioned in the Changelog.

Start the MOO in emergency mode 
  moo -e moo.db moo.180-ready.db
then do this:

  ;;set_verb_code(#0, "user_disconnected", {"if(user < #0) return; endif", @verb_code(#0, "user_disconnected")});
  ;;add_property(#0, "server_options", create(#1, $core_wizard), {$core_wizard, "r"});
  ;;$server_options.name = "server options";
  ;;add_property($server_options, "support_numeric_verbname_strings", 1, {$core_wizard, "r"});
  program #18:connection_hostname_bsd
  s = args[1];
  m = match(s, "^.* %(from%|to%) %([^, ]+%)");
  return m ? substitute("%2", m) | "";
  .
  quit

• Prev: Re:JHCore and LambdaMOO server
• Next: Lambda $player:confunc
• Index: MOO-cows
• Thread: MOO-cows