📄 help.jsp
字号:
<p> <b>Using the Role Manager portlet</b></p><p> The Role Manager portlet is used for managing roles in the portal. Roles can be added, modified and deleted except for the core GridSphere roles, <i>USER</i> and <i>ADMIN</i> that also match the core role priority levels supported by the portal. A Guest role priority is reserved for non-logged in users, User role priority is used for any logged in user, Admin is generally used for some kind of administrator functionality and super would have essentially have no access restrictions. Roles can also be defined by an individual webapp by specifying a <i>roles.xml<</i> role descriptor. See the GridSphere reference Guide for more information.</p>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -