extrapermissions

Plugin last modified: 2026-05-12

Extends the [permissions] system to support GroupServ group membership. Permissions entries that start with ! (e.g. !scouts) are treated as GroupServ group names. The plugin periodically queries GroupServ for the member list of each referenced group, so group membership changes are picked up automatically without restarting the bot.

How it works

On each timer tick the plugin:

  1. Reads all entries in [permissions] that start with !.
  2. Sends a flags <group> query to GroupServ for each one.
  3. Parses the response notices to build a group → members map stored in helpers.auth.groupFlags.

When auth.account_has_permission is called, it checks both direct account entries and any !group entries the account belongs to.

Configuration

[extrapermissions]
groupserv_interval = 60
Key Description
groupserv_interval How often (in seconds) to re-query GroupServ for group membership. Defaults to 60.

Usage in [permissions]

[permissions]
chancontrol = Thijseigenwijs, !scouts

Any member of the !scouts GroupServ group will be granted the chancontrol permission.