Date: 2019/03/09 15:05:58 UTC-08:00
Type: Denizen Script
PatreonRoleSync:
type: world
debug: false
events:
on discord message received:
- if <context.message> == "!rolesync":
- discord id:sxr addrole user:<context.author_id> role:458328476248965120 guild:191040935633616896
- wait 1s
- discord id:sxr removerole user:<context.author_id> role:458328476248965120 guild:191040935633616896
- else if <context.message> == "!linkminecraft":
- if <server.list_offline_players.contains[<player[<context.message.split[<&sp>].get[2]>]>]>:
- flag server discord-user_<context.user_id>.minecraft-player:<player[<context.message.split[<&sp>].get[2]>]>
- discord id:sxr addrole user:<context.author_id> role:458328476248965120 guild:191040935633616896
- wait 1s
- discord id:sxr removerole user:<context.author_id> role:458328476248965120 guild:191040935633616896
on discord user role changes:
- if <server.has_flag[discord-user_<context.user_id>.minecraft-player]>:
- if <context.new_role_ids.contains[387095048015314956]>:
- group add Patron player:<server.flag[discord-user_<context.user_id>.minecraft-player]>
- if <context.new_role_ids.contains[458328312054546432]>:
- group add Patron player:<server.flag[discord-user_<context.user_id>.minecraft-player]>
- if <context.new_role_ids.contains[458328498608799774]>:
- group add Patron player:<server.flag[discord-user_<context.user_id>.minecraft-player]>