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