@@ -1,2 +1,5 @@
127.0.0.1:8082
127.0.0.1:8083
+127.0.0.1:8084
+127.0.0.1:8085
+127.0.0.1:8086
@@ -1,3 +1,19 @@
V 127.0.0.1:8082
+V 127.0.0.1:8083
+V 127.0.0.1:8084
+V 127.0.0.1:8085
+V 127.0.0.1:8086
+E
+V 127.0.0.1:8082
E
R 127.0.0.1:8083 127.0.0.1:8082
@@ -295,6 +295,8 @@ void execute_experiment(string dealer, int dealerPort)
line++;
}
+
+ wait_for_servers_ready(dealer, dealerPort);
int main(int argc, char* argv[])