git://git.onelab.eu / infrastructure.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50cbd29) | patch
remove stamp file if older than one hour
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 7 Dec 2010 14:01:28 +0000 (15:01 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 7 Dec 2010 14:01:28 +0000 (15:01 +0100)
commit73e79c37c0a6eeaf9adc87af15777686deb8cd0a
treead44311f0b7ae4375865534a3e7889352f733178tree | snapshot
parent50cbd29ba486d909f24e2a087c4e19ab96f26859commit | diff
remove stamp file if older than one hour
clean stamp file if job interrupted
pretty printed
scripts/git-mirror.sh diff | blob | history
infrastructure