fix timer handling in gui set data

This commit is contained in:
Fabian Dill 2020-02-07 23:14:50 +01:00
parent 9659d01ed4
commit bac66a7e53
1 changed files with 1 additions and 1 deletions

View File

@ -198,7 +198,7 @@ def main(args, seed=None):
outfilepname += f"_{world.player_names[player][team].replace(' ', '_')}" if world.player_names[player][team] != 'Player %d' % player else ''
outfilesuffix = ('_%s_%s-%s-%s-%s%s_%s-%s%s%s%s%s' % (world.logic[player], world.difficulty[player], world.difficulty_adjustments[player],
world.mode[player], world.goal[player],
"" if world.timer in ['none', 'display'] else "-" + world.timer,
"" if world.timer[player] in ['none', 'display'] else "-" + world.timer[player],
world.shuffle[player], world.algorithm, mcsb_name,
"-retro" if world.retro[player] else "",
"-prog_" + world.progressive if world.progressive in ['off', 'random'] else "",