X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/5fd8cc8409d0efadc07dfe8d6774ad9ff477663d..be7cf844f59fa483423724e8e4b5e663e5b88ddd:/rsm_tester.pl

diff --git a/rsm_tester.pl b/rsm_tester.pl
index 7018164..7f73505 100755
--- a/rsm_tester.pl
+++ b/rsm_tester.pl
@@ -43,9 +43,6 @@ sub spawn {
   if (my $pid = fork) {
 # parent
     push( @logs, "$p-$aa.log" );
-    if( $p =~ /config_server/ ) {
-      push( @logs, paxos_log($a[1]) );
-    }
     if( $p =~ /lock_server/ ) {
       push( @logs, paxos_log($a[1]) );
     }
@@ -91,12 +88,6 @@ sub spawn_ls {
   return spawn( "./lock_server", $master, $port );
 }
 
-sub spawn_config {
-  my $master = shift;
-  my $port = shift;
-  return spawn( "./config_server", $master, $port );
-}
-
 sub check_views {
 
   my $l = shift;
@@ -232,9 +223,6 @@ sub start_nodes ($$){
 		if ($command eq "ls") {
 			@pid = (@pid, spawn_ls($p[0],$p[$i]));
 			print "Start lock_server on $p[$i]\n";
-		}elsif ($command eq "config_server"){
-			@pid = (@pid, spawn_config($p[0],$p[$i]));
-			print "Start config on $p[$i]\n";
 		}
     sleep 1;