From 73e4da3b08c0e1b7ac36deb50c44bbb159b2f008 Mon Sep 17 00:00:00 2001
From: Brad Fitzpatrick <brad@danga.com>
Date: Mon, 9 May 2011 14:17:11 -0700
Subject: [PATCH] use 3179 port for dev-server; for use with dev-camput, etc

---
 dev-server | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-server b/dev-server
index 505c65ce8..79ee429d5 100755
--- a/dev-server
+++ b/dev-server
@@ -13,7 +13,7 @@ GetOptions("wipe" => \$opt_wipe)
     or usage();
 
 my $port = shift;
-$port = "3202" unless defined($port);
+$port = "3179" unless defined($port);
 usage() unless $port =~ /^\d+$/;
 
 system("./build.pl", "server/go/camlistored") and die "Failed to build camlistored";