$server_options:protect_whatever

• Date: Thu, 21 Dec 1995 09:57:31 PST
• From:
  Judy Anderson <yduj@cs.stanford.edu>
• Posted-Date: Thu, 21 Dec 1995 09:57:31 -0800 (PST)

I was chatting with Quinn about my recent mongo edits of the LambdaMOO
database involving match() (which turned out to be unnecessary as the
patch was made available earlier than I had believed it would be).  It
would be cool if, when a builtin is protected by
$server_options.protect_builtin, it would try to call
#0:builtin(@args) before throwing up E_PERM.  That way, if one wanted
to protect something, one would not have to edit the entire database
first...

      Judy Anderson yclept yduJ          'yduJ' rhymes with 'fudge'
 yduJ@cs.stanford.edu (personal mail)   yduJ@harlequin.com (work-related)
	Join the League for Programming Freedom, lpf@uunet.uu.net

• Prev: Re: $recycler, $garbage, etc
• Next: Re: $server_options:protect_whatever
• Index: MOO-cows
• Thread: MOO-cows