context: function getPriv (priv){    if (!jsenv.HAS_SECURITYMANAGER)        return true;    var rv = true;    try    {        netscape.security.PrivilegeManager.enablePrivilege(priv);    }    catch (e)    {        dd ("getPriv: unable to get privlege '" + priv + "': " + e);        rv = false;    }        return rv;    }
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/0918cade427e1856c2e2bcfdefa8b4ea3e457b73/utils.js/clean/js/lib/utils.js