$server_options:protect_whatever

• Messages sorted by:[ date ][ thread ][ subject ][ author ]

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