# $server_options:protect_whatever

Judy Anderson (yduj@cs.stanford.edu)
Thu, 21 Dec 1995 09:57:31 PST

- 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