darcs

Issue 466 Ctrl-c during a darcs push leaves a corrupt and unfixable repository

Title Ctrl-c during a darcs push leaves a corrupt and unfixable repository
Priority bug Status resolved
Milestone Resolved in
Superseder Nosy List darcs-devel, dmitry.kurochkin, kowey, markstos, thorkilnaur, tommy, zooko
Assigned To zooko
Topics

Created on 2007-05-23.22:12:53 by zooko, last changed 2009-08-27.14:06:54 by admin.

Messages
msg1706 (view) Author: zooko Date: 2007-05-23.22:12:50
I was pushing some patches to a local repo when I realized I didn't want to
push them and hit C-c.  This left a repository with all the patches listed, but
with unrecorded changes, and such that "darcs check" and "darcs repair"
reported nothing wrong.  I finally just mv'ed the corrupted repository aside,
and did "darcs get" on it to produce a new, correct repository.

Unfortunately this incident is yet another reason why my company will probably
compel me to stop using darcs for our important source code soon...

Regards,

Zooko
msg2473 (view) Author: markstos Date: 2008-01-14.04:03:54
Zooko,

The new hashed and darcs-2 formats are reportedly more atomic and I'm curious if
you've been able test this kind of case with them. 

It's a case that seems difficult to create an automated test for.
 
    Mark
msg2474 (view) Author: zooko Date: 2008-01-14.13:47:35
Okay, I'll poke at this one some time.
msg3311 (view) Author: markstos Date: 2008-02-11.02:26:04
Based on some of my own testing, I have failed to be able to interrupt a push
such that there's a problem, using Darcs2. Please re-open if you still
experience this problem with Darcs-2.
History
Date User Action Args
2007-05-23 22:12:53zookocreate
2007-07-18 09:55:29koweysetnosy: droundy, tommy, beschmi, kowey, zooko
title: C-c during a darcs push leaves a corrupt and unfixable repository -> Ctrl-c during a darcs push leaves a corrupt and unfixable repository
2008-01-14 04:03:56markstossetstatus: unread -> unknown
nosy: + markstos
messages: + msg2473
2008-01-14 13:47:36zookosetmessages: + msg2474
2008-01-31 22:16:06markstossetstatus: unknown -> waiting-for
nosy: droundy, tommy, beschmi, kowey, markstos, zooko
assignedto: zooko
2008-02-11 02:26:05markstossetstatus: waiting-for -> resolved-in-unstable
nosy: droundy, tommy, beschmi, kowey, markstos, zooko
messages: + msg3311
2008-09-04 21:31:03adminsetstatus: resolved-in-unstable -> resolved
nosy: + dagit
2009-08-06 17:47:23adminsetnosy: + jast, Serware, dmitry.kurochkin, darcs-devel, mornfall, simon, thorkilnaur, - droundy
2009-08-06 20:43:12adminsetnosy: - beschmi
2009-08-10 22:04:37adminsetnosy: - darcs-devel, jast, Serware, mornfall
2009-08-11 00:00:48adminsetnosy: - dagit
2009-08-25 17:59:09adminsetnosy: + darcs-devel, - simon
2009-08-27 14:06:54adminsetnosy: tommy, kowey, markstos, darcs-devel, zooko, thorkilnaur, dmitry.kurochkin