chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
ba92362
)
dgit-repos-server: Debug when we movetogarbage
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 11 May 2015 07:58:06 +0000
(08:58 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 31 May 2015 10:54:11 +0000
(11:54 +0100)
infra/dgit-repos-server
patch
|
blob
|
history
diff --git
a/infra/dgit-repos-server
b/infra/dgit-repos-server
index ae30eeff20d958693d911d6b5f6a931e5decd1b0..634f91edab17ee52103433f1e1790f3f92b14dba 100755
(executable)
--- 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") {
# 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") {
rmtree "$garbagerepo-tmp";
if (rename "$garbagerepo-old", "$garbagerepo-tmp") {
+ printdebug "movetogarbage: $garbagerepo-old -> -tmp, rmtree\n";
rmtree "$garbagerepo-tmp";
} else {
die "$garbagerepo $!" unless $!==ENOENT;
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 "$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 $!";
}
or $! == ENOENT
or die "$garbagerepo $!";
}