On Sat, Nov 22, 2008 at 7:48 PM, josch <[EMAIL PROTECTED]> wrote: > > i got the fix! > > resource.py in trunk, line 333 and following: > > # Force forward slashes for index > if dirpath: > parts = filter(None, os.path.split(dirpath)) > dirpath = '/'.join(parts) > > has to be: > > # Force forward slashes for index > if dirpath: > parts = filter(None, dirpath.split(os.sep)) > dirpath = '/'.join(parts) > > os.path.split ist not the same as string.split. from the docs: > > "Split the pathname path into a pair, (head, tail) where tail is the > last pathname component and head is everything leading up to that." > > but as i understand it we want to have a path that is only separated > by slashes and not a mix of them. > also it might be faster to use string.replace() instead of splitting > and joining lists? > > sorry for not posting a diff but i could only test this at a friend's > computer as i do not have windows and it lacks the gnu tools :(
Thanks very much; fixe in r2384. (Also, what a terribly confusing implementation/name for os.path.split, given that it's not the analogue of str.split). Alex. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "pyglet-users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/pyglet-users?hl=en -~----------~----~----~----~------~----~------~--~---
