Menu ▾ ▴

#1 Changing capitalization

Pre-release
open
Maciej
None
7
2005-06-18
2005-06-18
Maciej
No

When you change capitalization of the name of a file or
directory, Wiser may have trouble updating other
machines. For Wiser the names are different, but for
Windows they are different variants of the same name.
Depending on the names, Wiser may try to create the
file before deleting it, and a version conflict arises.

When capitalization of a directory name is changed,
Wiser first tries to create the "new" directory,
resolves a version conflict (renames the existing one),
creates the new files and deletes the "old" files, the
order depending on the names, so the results vary, too:
either the files get deleted and you are left with the
original, renamed directory, or you get two copies or
two versions of the directory.

Discussion

  • Maciej

    Maciej - 2005-06-18
    • priority: 5 --> 7
     
  • Maciej

    Maciej - 2005-06-18

    Logged In: YES
    user_id=472990

    Correct the order of operations performed on update:
    - first do all the pure deletes, in reverse order,
    - then all the other operations, in alphabetic order.

     
  • Maciej

    Maciej - 2005-06-18
    • assigned_to: nobody --> maciejr
     

Log in to post a comment.