| Index: third_party/WebKit/Tools/Scripts/webkitpy/common/system/user.py
|
| diff --git a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/user.py b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/user.py
|
| index ed8f46e05ac1428fbf12cedcb61d220f5acdd1af..f9631e99ea538879a4b1f9e81ebc9a9ed2af84f7 100644
|
| --- a/third_party/WebKit/Tools/Scripts/webkitpy/common/system/user.py
|
| +++ b/third_party/WebKit/Tools/Scripts/webkitpy/common/system/user.py
|
| @@ -90,7 +90,7 @@ class User(object):
|
|
|
| try:
|
| indices = []
|
| - for value in re.split("\s*,\s*", response):
|
| + for value in re.split(r"\s*,\s*", response):
|
| parts = value.split('-')
|
| if len(parts) == 2:
|
| indices += range(int(parts[0]) - 1, int(parts[1]))
|
|
|