From 0ffdf29f8a87aa4ecbee84bac420febebd3f3c70 Mon Sep 17 00:00:00 2001
From: Brett Slatkin <bslatkin@gmail.com>
Date: Fri, 30 Sep 2011 03:29:36 +0000
Subject: [PATCH] Fixing dev-server for shared environment

Change-Id: I9133afb303ffd398a93b3ba1e9e0f41869124469
---
 dev-server | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-server b/dev-server
index c78cd70ba..83acee5be 100755
--- a/dev-server
+++ b/dev-server
@@ -26,7 +26,7 @@ unless ($opt_nobuild) {
     system("./build.pl", "clients/go/camdbinit") and die "Failed to build camdbinit";
 }
 
-my $root = "/tmp/camliroot/port$port/";
+my $root = "/tmp/camliroot-$ENV{USER}/port$port/";
 if ($opt_wipe && -d $root) {
     print "Wiping $root\n";
     system("rm", "-rf", $root) and die "Failed to wipe $root.\n";