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