diff --git a/scripts/runner.pl b/scripts/runner.pl index de62e87..cd33ce1 100644 --- a/scripts/runner.pl +++ b/scripts/runner.pl @@ -189,13 +189,14 @@ sub inject { Util::notify("Injecting $experiment using $count cores..."); - my $server_command = join " ", - ( - "$fail_server", "--port $fail_server_port", + my $server_command = join " ", ( + "$fail_server", + + # "--port $fail_server_port", "--database-option-file $remote_db_conf", "-v $experiment", "-b %", "--inject-single-bit", "--inject-registers", ">$remote_root/server.log" - ); + ); say "Server command: $server_command"; my $client_command = join " ", ( @@ -207,7 +208,8 @@ sub inject { "-i $remote_builds_dir/$experiment/system.iso", "-j $count", "--", - "-Wf,--server-port=$fail_server_port", + + # "-Wf,--server-port=$fail_server_port", "-Wf,--state-dir=$remote_builds_dir/$experiment/state", "-Wf,--trap", "-Wf,--catch-outerspace",