| Index: tools/telemetry/telemetry/page/page_set.py
|
| diff --git a/tools/telemetry/telemetry/page/page_set.py b/tools/telemetry/telemetry/page/page_set.py
|
| index 7c0f1d7322bfc7b4b5d0533845579f34f507bf2b..1a84f4e8ba291d6e1a3baa10e865d222c923ef79 100644
|
| --- a/tools/telemetry/telemetry/page/page_set.py
|
| +++ b/tools/telemetry/telemetry/page/page_set.py
|
| @@ -68,8 +68,8 @@ class PageSet(object):
|
| all_serving_dirs.add(page.serving_dir)
|
| # Scan all serving dirs.
|
| for serving_dir in all_serving_dirs:
|
| - if serving_dir == '/':
|
| - raise ValueError('Trying to serve "/" from HTTP server.')
|
| + if os.path.splitdrive(serving_dir)[1] == '/':
|
| + raise ValueError('Trying to serve root directory from HTTP server.')
|
| for dirpath, _, filenames in os.walk(serving_dir):
|
| for filename in filenames:
|
| path, extension = os.path.splitext(
|
|
|