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";