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])) |