summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-11 08:58:06 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 11:54:11 +0100
commit89dfd17c9cd0a9c030083a5530ac816987431187 (patch)
tree5aca347c875f7fc2b3d53b3040935d52f8c1b8de
parentba923623a80877a6ba06e7fe528b480763ab9ddb (diff)
dgit-repos-server: Debug when we movetogarbage
-rwxr-xr-xinfra/dgit-repos-server8
1 files changed, 7 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index ae30eef..634f91e 100755
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -301,15 +301,21 @@ sub movetogarbage () {
# purposes (and, I guess, recovery from mistakes). This is either
# $garbage or $garbage-old.
if (stat_exists "$garbagerepo") {
+ printdebug "movetogarbage: rmtree $garbagerepo-tmp\n";
rmtree "$garbagerepo-tmp";
if (rename "$garbagerepo-old", "$garbagerepo-tmp") {
+ printdebug "movetogarbage: $garbagerepo-old -> -tmp, rmtree\n";
rmtree "$garbagerepo-tmp";
} else {
die "$garbagerepo $!" unless $!==ENOENT;
+ printdebug "movetogarbage: $garbagerepo-old -> -tmp\n";
}
+ printdebug "movetogarbage: $garbagerepo -> -old\n";
rename "$garbagerepo", "$garbagerepo-old" or die "$garbagerepo $!";
}
- rename realdestrepo, $garbagerepo
+ my $real = realdestrepo;
+ printdebug "movetogarbage: $real -> $garbagerepo\n";
+ rename $real, $garbagerepo
or $! == ENOENT
or die "$garbagerepo $!";
}