User Management tab

 

Petra Workgroup distinguishes between different users to deliver personal parameters (such as map settings) and to restrict permissions with roles. Petra defines a role as a set of permissions to read and write to individual projects, as well as the ability to create new projects from scratch.  Only users in the Administrators role can edit users and roles.

Petra's Database Server can use an Active Directory network to create users and dynamically maintain roles.

All users list

The users list creates, modifies, and removes new users from the Petra database server.  Selecting a specific user changes the tab to reflect the detailed settings for the individual user, including the user name, description, and obscured password.  

Click to enlarge image.

Click to enlarge image.

  • To create a new user, click the +” button at the top of the All Users List, and enter the new name, description, and password
  • To delete an existing user, select the user and click the “Xbutton.  
  • To modify an existing user, select the user and click the Edit button on the right side of the screen. Select Save after editing.

Roles list

The Roles List creates, modifies, and deletes roles.  By default, Petra's database server has two roles:

  • Administrators have read/write access to all projects on the server and can create new projects.
  • Public have read access to all existing projects, as well as create new and delete existing projects.

New users are automatically put into the Public role.  Editing the Public role changes the default permissions for all users.  Changing the New Project Defaults in the Public role changes the default read and write permissions for new projects.  

Users can't be dropped from the Public role. To restrict users creating and deleting projects, remove that functionality from the Public role and create another dedicated role with the create new projects/delete existing projects options enabled.

Click to enlarge image.

Click to enlarge image.

  • To add a new role, Click the + button at the top of the Roles list and enter a name and description.  
  • To delete an existing role, Click the X button at the top of the Roles List.  
  • To edit the selected role, select the role and Click the Edit button, make the desired changes, and select the Save button.

The Roles List also contains the usernames associated with each role.  Selecting the triangle or plus to the left of the role name expands the tree to display all users in that role.  

  • To add a new user to a role, drag the selected user from the All Users List into the desired role.  
  • To remove a user from a role, drag the user inside the Roles List back into the All Users List, or to the box at the bottom of the Roles List.
Related topics