notnull/banned
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix ORIGINAL_ROLES not being updated on player swaps

Browse Source
This commit is contained in:
jacob1 2017-12-16 21:11:56 -05:00
parent 141bab2624
commit bd66621a43
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/wolfgame.py
View File

@ -72,7 +72,7 @@ var.LAST_GOAT = {}
var.USERS = {}
var.ADMIN_PINGING = False
var.ORIGINAL_ROLES = {}
var.ORIGINAL_ROLES = {} # type: Dict[str, Set[users.User]]
var.DCED_LOSERS = set() # type: Set[users.User]
var.PLAYERS = {}
var.DCED_PLAYERS = {}
@ -602,6 +602,10 @@ def swap_player(evt, var, old_user, user):
if old_user in players:
players.remove(old_user)
players.add(user)
for role, players in var.ORIGINAL_ROLES.items():
if old_user in players:
players.remove(old_user)
players.add(user)
@command("pingif", "pingme", "pingat", "pingpref", pm=True)