| Index: tools/observatory_tool.py
|
| diff --git a/tools/observatory_tool.py b/tools/observatory_tool.py
|
| index fab21834b427320f4bc5bd2a6a7cdc15e981040f..66261438f1cb367603b3f8d0b4d883766836d9c2 100755
|
| --- a/tools/observatory_tool.py
|
| +++ b/tools/observatory_tool.py
|
| @@ -96,6 +96,8 @@ def PubBuild(dart_executable, pub_executable, pkg_root, silent, output_dir):
|
| def Deploy(input_dir, output_dir):
|
| shutil.rmtree(output_dir)
|
| shutil.copytree(input_dir, output_dir, ignore=IGNORE_PATTERNS)
|
| + index_file = os.path.join(output_dir, 'web', 'index.html')
|
| + os.utime(index_file, None)
|
| return 0
|
|
|
| def RewritePubSpec(input_path, output_path, search, replace):
|
|
|