eoptasks: randomize servers

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[:]: