|
@@ -38,9 +38,7 @@ def normalize_whitespace(text):
|
|
|
|
|
|
def split(s):
|
|
|
"""!Platform spefic shlex.split"""
|
|
|
- if sys.version_info >= (2, 6):
|
|
|
- return shlex.split(s, posix = (sys.platform != "win32"))
|
|
|
- elif sys.platform == "win32":
|
|
|
+ if sys.platform == "win32":
|
|
|
return shlex.split(s.replace('\\', r'\\'))
|
|
|
else:
|
|
|
return shlex.split(s)
|