diff push_cmd.py @ 32:d01196ca1e39

Fix non-atomic write of the last_revision_handled_file which was causing problems if the write got interrupted in the wrong spot.
author Augie Fackler <durin42@gmail.com>
date Wed, 15 Oct 2008 13:29:20 -0500
parents c5039390332f
children b3c7b844b782
line wrap: on
line diff