Am 12.06.2012 16:49, schrieb Justin Case:
> ----- Original Message -----
>> From: Ulrich Eckhardt <ulrich.eckhardt_at_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.
**************************************************************************************
Received on 2012-06-13 11:23:18 CEST