my @lastv = ($p[1],$p[2],$p[3]);
foreach my $port (@lastv) {
wait_for_view_change(paxos_log($port), $in_views{$port}+1, $port, 20);
my @lastv = ($p[1],$p[2],$p[3]);
foreach my $port (@lastv) {
wait_for_view_change(paxos_log($port), $in_views{$port}+1, $port, 20);