better server range for boris

This commit is contained in:
Alex Grintsvayg 2019-12-21 13:48:07 -05:00
parent 6b80119eff
commit 20fa7bd852
No known key found for this signature in database
GPG key ID: AEB3F089F86A22B5

View file

@ -285,14 +285,14 @@ def get_dsn(args):
def get_servers(args): def get_servers(args):
if '..' in args.server_range: servers = []
start, end = args.server_range.split('..') for s in args.server_range.split(","):
if '..' in s:
start, end = s.split('..')
servers.extend(range(int(start), int(end)+1))
else: else:
start = end = args.server_range servers.append(int(s))
return [ return [args.server_url.format(i) for i in servers]
args.server_url.format(i)
for i in range(int(start), int(end)+1)
]
def get_slack_client(args): def get_slack_client(args):