From 7e808fb2aeaa1f3855ac4261f589198d839e38cd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Mon, 10 Dec 2018 16:30:56 +0100 Subject: [PATCH] eoptasks: randomize servers --- eoptasks/eoptasks.py | 1 + 1 file changed, 1 insertion(+) diff --git a/eoptasks/eoptasks.py b/eoptasks/eoptasks.py index 097a4d8..2fe08aa 100755 --- a/eoptasks/eoptasks.py +++ b/eoptasks/eoptasks.py @@ -93,6 +93,7 @@ else: return re.match(r'(.*?)(\d*)$', server_name).group(1).replace( '.rbx.', '.loc.').replace('.gra.', '.loc.').replace('.sbg.', '.loc.') + random.shuffle(selected_servers) while selected_servers: current_clusters = [cluster_name(x.name) for x in session.list_windows()] for server in selected_servers[:]: