On Mon, 25 Aug 2008, Robin Rattay wrote:
Dirk Stöcker schrieb:
On Mon, 25 Aug 2008, Robin Rattay wrote:
Has this actually worked at all or only on specific environments? It
seems that the update mechanism needs to be changed.
Works on Linux, but probably you're right and it wont work on Windows due
to the strange Windows file locking. Anyway I seldom use Windows, so
that's not my problem :-)
Maybe a solution would be to store files with an intermediate name in
case of copy failure and copy these on restart before plugins get loaded.
Here you go...
Nah, that always creates a usually useless directory and also always
creates the temporaryfile-on-start-copy. Both is not useful on non-Windows
systems.
Better:
a) Temporary filename is final name+".tmp".
b) Do the move as is done now. When move fails, leave the tmp file.
c) On start check if there is a temp file and move it when possible.
If not, inform the user.
Ciao
--
http://www.dstoecker.eu/ (PGP key available)
_______________________________________________
josm-dev mailing list
[email protected]
http://lists.openstreetmap.org/listinfo/josm-dev
