diff Makefile @ 981:82bbb3428684

pull: save the last pulled revision *after* converting revisions Otherwise, a KeyboardInterrupt may lead to an unpulled revision being incorrectly saved as pulled in the lastpulled file. This will lead to the interrupted revision being incorrectly skipped at the next pull, leading to an incorrect conversion -- one might even say corrupt. Due to it's nature of requiring a manual interrupt, this bug is difficult to test.
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Sun, 11 Nov 2012 15:31:19 +0100
parents 055f9254d790
children
line wrap: on
line diff