Skip to content

Home

Introduction

Development

IDEs

Services

API Explorer

Releases

Release notes

Martini Runtime

Martini Desktop

Martini Online

Feature requests

Bug reports

Managing users and groups

To add or remove Martini users and groups, you must have the Users and Groups dialog open. To access this, right click your instance in the Navigator view and then select Users and Groups from the appearing context menu.

Accessing the Users and Groups dialog

Accessing the Users and Groups dialog

Manage users and groups via REST API

Martini also provides REST endpoints for maintaining users and groups. This API allows you to remotely do things such as:

  • Search for users and groups
  • Add or remove users and groups
  • Add or remove users to and from groups
  • Refresh user OAuth tokens

Adding a user

  1. Click the green, '+' button.
  2. In the appearing form, supply the following required details:

    • Username

      The username must be unique. In Martini Desktop, this field is automatically filled with a generic name that you may use or change.

    • Password

      The password must be 5 to 20 characters long.

    • Display Name

      The display name must be 4 to 20 characters long.

    • Email Address

      The email must be a valid.

  3. Click Save or OK1.

How to add a user

How to add a user

Removing a user

  1. Select the user you would like to delete. If the user doesn't appear in the user list, you can enter a portion of the user's username, email address, or display name to filter the list of users.
  2. Click the red, 'x' button.
  3. Confirm your action.

How to remove users

How to remove a user

Editing user details

  1. Select the user whose details you would like to edit. If the user doesn't appear in the user list, you can enter a portion of the user's username, email address, or display name to filter the list of users.
  2. In the appearing form, edit properties as you wish. You can also press the add and remove buttons to maintain the user's groups. If you're adding a user to a group and the group doesn't appear, you can enter a portion of the group name to filter the list of groups.
  3. Click Save, OK, or Update.

How to edit user details

How to edit user details

Creating and getting the access token of a user

The access token for a user is used for accessing Gloop APIs that have OAuth2 enabled.

  1. Select the user whose token you would like to generate or get.
  2. If disabled, enable the user whose token you would like to generate or get.
  3. If the user doesn't have a token yet or if you would like to generate a new one, simply hit the generate new token button. Else, click on the view tokens button to view the current tokens of the user (no need to do this in Martini Desktop as tokens are automatically visible in the dialog).
  4. Click on the copy button to copy the current access or refresh token to your clipboard.

How to create and get a user's tokens

How to create and get a user's tokens

Adding a group

  1. Click the green, '+' button.
  2. Supply the name of the group. The group name must be unique.
  3. Click Save or OK.

How to add a group

How to add a group

To include a user to a group, edit the user and ensure the group(s) it should belong to are checked in the user details form.

Removing a group

How to add a group

How to add a group

  1. Click the red, 'x' button while a group is selected.
  2. Confirm your action.

  1. Save applies the changes while OK does the same but closes the dialog immediately.