diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-11 08:58:06 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 11:54:11 +0100 |
commit | 89dfd17c9cd0a9c030083a5530ac816987431187 (patch) | |
tree | 5aca347c875f7fc2b3d53b3040935d52f8c1b8de /infra/dgit-repos-server | |
parent | ba923623a80877a6ba06e7fe528b480763ab9ddb (diff) |
dgit-repos-server: Debug when we movetogarbage
Diffstat (limited to 'infra/dgit-repos-server')
-rwxr-xr-x | infra/dgit-repos-server | 8 |
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 $!"; } |