On Mon, Aug 01, 2005 at 08:47:06AM -0400, via RT wrote: > I aborted a push operation by pressing ctrl-C. Darcs responded with: > > Pushing to [EMAIL PROTECTED]:/home/darcs/carpet... > > Fail: failed to read patch in get_extra: > Sat Jul 30 09:37:13 CEST 2005 Erik Schnetter <[EMAIL PROTECTED]> > * CarpetIOScalar: Prepend column numbers to column descriptions > > Prepend column numbers to column descriptions in the header of the > files. > Perhaps this is a 'partial' repository?
Indeed, this is confusing. The problem lies in the code that we use to try to catch errors and interperet them in a nice manner, which doesn't distinguish between causes of errors. Fixing this would be a good idea (perhaps causing it to ignore errors triggered by signals), but isn't trivial. (So I'll leave it for someone else to do, for now). Probably the solution involves making the unsafeInterleaveIO in read_repo_private *not* catch certain sorts of errors. Then such errors won't be interpereted as failure to read the patch file. -- David Roundy http://www.darcs.net _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
