Am 12.06.2012 16:49, schrieb Justin Case: > ----- Original Message ----- >> From: Ulrich Eckhardt <ulrich.eckha...@dominolaser.com> Yes, >> probably, unless it was killed so quickly that it couldn't even >> cry for help any more, which e.g. happens if you cut the power or >> use "kill -9" on POSIX systems. > > We're not talking here about natural catastrophes, but about a file > which was in use when tried to update :) So the solution would be > with the first update, the one which fails with file in use - it > could revert the temp file creation and just leave the used file and > the following tasks un-updated, then exit saying so. Then the next > update will just have to pick up the remaining tasks, no need to > cleanup.
Sorry, but I'm afraid I didn't get across what I wanted to say. There is an SVN process, and that process finds a lock on a working copy[0]. It now must rely on the user to determine whether this lock is stale or not. In this specific context, I really don't care why the lock was there and whether it should be there or not, that is a related but different issue. See the last paragraph of my initial mail in this thread for my opinion on this different issue. (c: Uli [0] Just to get this clear: A lock on a working copy is not the same as denied access to a file during an update! Maybe that is the reason of the confusion between us? ************************************************************************************** Domino Laser GmbH, Fangdieckstraße 75a, 22547 Hamburg, Deutschland Geschäftsführer: Thorsten Föcking, Amtsgericht Hamburg HR B62 932 ************************************************************************************** Visit our website at http://www.dominolaser.com ************************************************************************************** Diese E-Mail einschließlich sämtlicher Anhänge ist nur für den Adressaten bestimmt und kann vertrauliche Informationen enthalten. Bitte benachrichtigen Sie den Absender umgehend, falls Sie nicht der beabsichtigte Empfänger sein sollten. Die E-Mail ist in diesem Fall zu löschen und darf weder gelesen, weitergeleitet, veröffentlicht oder anderweitig benutzt werden. E-Mails können durch Dritte gelesen werden und Viren sowie nichtautorisierte Änderungen enthalten. Domino Laser GmbH ist für diese Folgen nicht verantwortlich. **************************************************************************************
