Fix bug in PathDifference that truncated paths. (epot_tools)

PathDifference cuts a supplied "root path" from a second path and returns what remains. It is assumed that this can be used as a relative path from the "root path" to the second path.

If the root path ends with a path separator (\ or /), the function used to cut an additional character from the path and the returned value would be incorrect. This fix makes sure the behavior is consistent and correct no matter if the root path ends with a separator or not.

(This fixes the "epot_tools" tools bug.)

Committed: http://src.chromium.org/viewvc/chrome?view=rev&revision=17855

[SkyLined, 2009-06-08 09:42:33]

I would use "os.path.relpath()" but I didn't want to modify the code too much
and risk changing any quircks that we're relying on: eg. the current code seems
to be case sensitive.

[M-A Ruel, 2009-06-08 13:54:40]

lgtm, thanks.

os.path.relpath() is new in version 2.6 and we still support 2.4.