Hot to bing the $registration_db up to date?

• Date: Wed, 11 Oct 1995 03:37:19 PDT
• From:
  Pieter-Bas IJdens <pbijdens@alchemy.cs.ruu.nl>
• Content-Length: 759
• Content-Transfer-Encoding: 7bit
• Content-Type: text/plain; charset=US-ASCII

I recently changed the e-mail adresses for some players, and I noticed
$registration_db is not up-to-date anymore. I became suspicious, so I tried to
@make-player somebody with an email address equal to that of a player I just
deleted, and it said sth like: 

@make-player Jack foo@bar.nl
foo@bar.nl is the registered address of the following characters:
lab {nonplayer} (#x) []
Osufy (#y) []

How do I get the $registration_db up-to-date?

Thanks,

  Pieter-Bas IJdens

-- 
                      P.B. IJdens (pbijdens@cs.ruu.nl)
      Department of Computer Science, Utrecht University (the Netherlands)
       WWW: http://huizen.dds.nl/~pbijdens/  (also for my PGP public key)
********************** quod scripsi scripsi (Joh: 19:22) **********************

• Prev: Re: Help! (Was: LambdaMOO server release 1.7.9p2)
• Next: Re: Hot to bing the $registration_db up to date?
• Index: MOO-cows
• Thread: MOO-cows