website: remove gerrithost flag. It's gone.

Change-Id: Ia02d3f59e86c0c32f376aee232fb474bc62e717b
This commit is contained in:
Brad Fitzpatrick 2013-12-25 11:00:27 -08:00
parent 401579d656
commit faf46fc25a
1 changed files with 0 additions and 1 deletions

View File

@ -27,7 +27,6 @@ if ($in_prod) {
push @args, "--email_dest=camlistore-commits\@googlegroups.com";
push @args, "--http=:8080";
push @args, "--https=:4430";
push @args, "--gerrithost=ec2-107-22-182-135.compute-1.amazonaws.com";
push @args, "--tlscert=$HOME/etc/ssl.crt";
push @args, "--tlskey=$HOME/etc/ssl.key";
while (1) {