[Prev][Next][Index][Thread]

# $server_options:protect_whatever

- Date: Thu, 21 Dec 1995 09:57:31 PST
- From:
- 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

Home | Subject Index | Thread Index