>>Sure, if the tmp directory was empty just recreating it would be fine
That's the bug I'm reporting and you seem to agree it would be fine.
>>what if there were files in there that we needed.
Does SVN keep essential files in the .svn/tmp directory ?
>>If random directories are missing within the .svn directory we cannot
>>expect subversion to be able to recover from that
You are widening the issue, this is not the bug I posted. If essential file
are missing obviously svn cannot continue (but most of the files in the .svn
directory could be recreated or re-fetched from the server)
>>My suggestion, get better tools that don't delete empty directories
Surly we should be working to make tools as user friendly as possible ? I am
a professional programmer and I hear all kinds of excuses from staff why
they shouldn't have to error check data or recover from corrupt data. IMO
that all stems from laziness. We have to strive to make software as robust
as possible. We have a very simple rule of thumb, "if it stop in your code
it's your fault", even if it's a result of bad input.
From: firstname.lastname@example.org [mailto:email@example.com]On Behalf Of Garrett
Sent: 07 July 2006 15:37
To: Taylor, Richard
Cc: SVN Dev
Subject: Re: svn cleanup bug
On 7/7/06, Taylor, Richard <firstname.lastname@example.org> wrote:
> Hi all,
> I found a bug with svn cleanup and I'm looking for confirmation before
> entering it into the issue tracker. This is similar issue 2355 but I guess
> the fix might be different.
This is not a bug, it's working as designed. If random directories
are missing within the .svn directory we cannot expect subversion to
be able to recover from that. Sure, if the tmp directory was empty
just recreating it would be fine, but you can't be sure that was the
case, what if there were files in there that we needed.
My suggestion, get better tools that don't delete empty directories.
This e-mail has been scanned for viruses by Verizon Business Internet
Managed Scanning Services - powered by MessageLabs. For further information
To unsubscribe, e-mail: email@example.com
For additional commands, e-mail: firstname.lastname@example.org
Received on Mon Jul 10 09:59:56 2006