Index: upload.py |
=================================================================== |
--- upload.py (revision 16669) |
+++ upload.py (working copy) |
@@ -1346,6 +1346,12 @@ |
msg = lines[0] |
patchset = lines[1].strip() |
patches = [x.split(" ", 1) for x in lines[2:]] |
+ for patch_pair in patches: |
+ # On Windows if a file has property changes its filename uses '\' |
+ # instead of '/'. Perhaps this change should be made (also) on the |
+ # server when it is decoding the patch file sent by the client, but |
+ # we do it here as well to be safe. |
+ patch_pair[1] = patch_pair[1].replace('\\', '/') |
else: |
msg = response_body |
else: |